Prof. Andrew Martin undertakes research and teaching in the area of Systems Security, in the University of Oxford. He has spent the last two decades leading many aspects of security innovation in the University’s teaching and research, including the creation of the MSc in Software and Systems Security and the Centre for Doctoral Training in Cyber Security. He also leads Oxford’s EPSRC/NCSC-recognised Academic Centre of Excellence in Cyber Security Research.
The main focus of his research is in hardware-software co-design for security. This is expressed in developing applications for trusted computing and trusted execution environments in large-scale distributed systems, particularly cloud computing, mobile devices, and the internet of things. He has published extensively in this area, hosting several related international events in Oxford and speaking on the subject all over the world.
Andrew wrote a doctoral thesis on the subject ‘Machine-Assisted Theorem Proving for Software Engineering’, in the early 1990s. He then worked as a Research Fellow in the Software Verification Research Centre at the University of Queensland, Australia. Returning to the UK, he was briefly a lecturer at the University of Southampton, before returning to Oxford to take up his present post in 1999.
Dr Martin is a fellow of Kellogg College, Oxford, an Adjunct Professor at Griffith University in Australia, and a Trustee of Bletchley Park. He is a member of the Executive and Editorial Board of CyBOK, the Guide to the Body of Knowledge in Cyber Security. He is presently the supervisor for seven doctoral students, and holds several research grants. Within the Department of Computer Science he is Director of Academic Environment; he is also a member of the Central University Research Ethics Committee and chair of the Joint Information Security Advisory Group within the University.