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

On privacy and public data: a study of

Andrew Simpson

In Journal of Privacy and Confidentiality. Vol. 3. No. 1. Pages article number 4. 2011.

Automatic conformance checking of role−based access control policies in Alloy

David Power‚ Mark Slaymaker and Andrew Simpson

In Proceedings of Engineering Secure Software and Systems (ESSoS 2011). Pages 15–28. Springer−Verlag Lecture Notes in Computer Science‚ volume 6542. 2011.

Conformance checking of dynamic access control policies

D.J. Power‚ M.A. Slaymaker and A.C. Simpson

In Proceedings of the 13th international conference on Formal methods and software engineering (ICFEM 2011). Vol. 6255 of Springer−Verlag Lecture Notes in Computer Science. Pages 227–242. 2011.





Completed Projects

Current Students

Past Student

Personal photo - Clint Sieunarine
Clint Sieunarine