Andrew Simpson

Official Fellow

University Lecturer in Software Engineering

Department of Computer Science

DPhil (Oxon), MSc (Oxon), BSc (Wales)

Andrew Simpson is an Associate Professor of Software Engineering.  Andrew is based in the Department of Computer Science, where he teaches on the MScs in Software Engineering and Software and Systems Security, and supervises doctoral students undertaking research in privacy and security.  Within Kellogg, he has previously held the roles of Senior Tutor, Senior Fellow and Secretary to Governing Body.

Recent Publications

* A. C. Simpson‚ A. P. Martin‚ C. Cremers‚ I. Flechais‚ I. Martinovic and K. B. Rasmussen, 2015.  “Experiences in developing and delivering a programme of part-time education in software and systems security”.  Proceedings of the 37th International Conference on Software Engineering (ICSE 2015).

* S. Faily, J. Lyle, I. Flechais and A. C. Simpson, 2015.  “Usability and security by design: A case study in research and development”.  Proceedings of the 2015 NDSS Workshop on Usable Security (USEC 2015).

* P. J. Jacobs and A. C. Simpson, 2014.  “A formal model of SysML Blocks using CSP for assured systems engineering”.  Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014).

* P. J. Jacobs and A. C. Simpson, 2014.  “On the formal interpretation of SysML blocks using a safety critical case study”.  Proceedings of the 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2014).

* P. J. Jacobs and A. C. Simpson, 2014.  “On a process algebraic representation of sequence diagrams”.  Proceedings of the 1st International Workshop on Safety and Formal Methods (SaFoMe 2014).

* N. Wu and A. C. Simpson, 2014.  Formal relational database design: an exercise in extending the Formal Template Language.  Formal Aspects of Computing 26(6): 1231-1269.