Dr Andrew Martin MA DPhil MBCS CEng CITP
University Lecturer in Software Engineering
Department of Computer Science
University of Oxford
Also:[this information can normally be omitted]:
Deputy Director, Software Engineering Centre
Fellow of Kellogg College, Oxford
Dr Andrew Martin lectures to Software Professionals as part of Oxford University's Software Engineering Programme, where he directs the Master of Science course in Software and Systems Security. He has a background in formal methods, but today devotes most of his time to issues of security in distributed systems. He has been particularly interested in the grid and cloud computing paradigms, the security questions they raise, and how the technologies of trusted computing can help to address the challenges in that area.
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.
Home page at Oxford University Computing Laboratory (includes contact information)
