Andrew Simpson

Official Fellow

University Lecturer in Software Engineering

Department of Computer Science

BSc Wales, MSc, DPhil Oxford, CEng, CITP, MBCS

andrew.simpson@kellogg.ox.ac.uk

Dr Andrew Simpson is a University Lecturer in Software Engineering, based in the Department of Computer Science.  His research interests include data security and privacy, the design and development of distributed infrastructures to underpin large scale research, and the formal modelling and analysis of security- and safety-critical systems.  He is currently serves as the Director of the Software Engineering Programme’s MSc in Software and Systems Security.

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.