University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Follow us on twitter
Linked in
Linked in
Google plus
Google plus
Stumble Upon
Stumble Upon

Andrew Simpson

Personal photo - Andrew Simpson
Andrew Simpson
Associate Professor
Governing Body Fellow, Kellogg College
01865 283514


Much of my research over the past five years or so has been driven by one overarching theme: the development of models and technologies to facilitate assured, appropriate data sharing and aggregation in complex environments.  To this end, I am interested in the following:

  • Issues of data security and privacy
  • Models and frameworks for dynamic, context-sensitive access control
  • Usable models for privacy-preserving data mining

Technologies we have developed include the sif middleware framework for the secure aggregation of data within heterogeneous environments, the Gauge analysis tool, and a policy tool for modelling and testing RBAC and XACML access control policies prior to deployment.  Our evolving access control system combines all of these in support of assured, dynamic accesss control.

Other long standing interests include:

  • Privacy and confidentiality
  • Safety-critical systems
  • The relationship between security and safety
  • The application of formal description techniques (Z, CSP, Alloy) to the modelling and analysis of critical systems
  • Security education
  • Techniques for data sharing and aggregation to support data mining and visualisation


I gained a first class honours degree in Computer Science from the University of Wales, Swansea.  Later, I received an MSc and a DPhil from the University of Oxford.  I am currently a University Lecturer in Software Engineering at the University of Oxford, teaching on the Software Engineering Programme (a post I have held since January 2002). Previously I was a Principal Lecturer in Computing at Oxford Brookes University; prior to that I was a research officer in the Computing Laboratory (now Department of Computer Science).

Selected Publications

View all

Manage publications

Formal Relational Database Design: An Exercise in Extending the Formal Template Language

N. Wu and A. C. Simpson

In Formal Aspects of Computing. Vol. 26. No. 6. Pages 1231–1269. 2014.

Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML

J. Jacobs and A. C. Simpson

In Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013). Vol. 8144 of Lecture Notes in Computer Science. Pages 265–280. Springer. 2013.

On privacy and public data: A study of

A. C. Simpson

In Journal of Privacy & Confidentiality. Vol. 3. No. 1. Pages 51–65. 2011.





Completed Projects

Current Students

Past Students

Personal photo - Jaco Jacobs
Jaco Jacobs
Personal photo - Clint Sieunarine
Clint Sieunarine