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.
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] After his first degree, he joined Praxis High Integrity Systems, Bath as Industrial Software Engineer.
[3] Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular [4][5]
You can help Wikipedia by expanding it.This biographical article relating to a computer scientist is a stub.