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 (2013–2023) and deputy director and lecturer in Software Engineering Programme. 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. .

Publications Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular