Andrew Martin (computer scientist)

This article is about Andrew Philip Martin. For other uses (e.g., Andrew C. R. Martin), see Andrew Martin.

Andrew Martin is a British computer scientist at the University of Oxford, England, where he is Professor of Systems Security, Director of the Centre for Doctoral Training in Cyber Security^[1] (2013–2023) and deputy director and lecturer in Software Engineering Programme.^[2][3] He is a member of the Oxford University Department of Computer Science.

Education

He obtained BA in Mathematics and Computation (1986–1989) and DPhil in Machine-Assisted Theorem Proving for Software Engineering (1991–1994) from the University of Oxford.^[2][3]

Career

After his first degree, he joined Praxis High Integrity Systems, Bath as Industrial Software Engineer.^[3] After his DPhil, he became Research Fellow at the Software Verification Research Centre in the University of Queensland in Australia.^[3] Before taking up his current post in 1999, he was briefly a lecturer in the University of Southampton.^[3]

Publications

Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular^[4][5]