Andrew Martin (computer scientist)
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
[edit | edit source]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
[edit | edit source]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
[edit | edit source]Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular[4][5]
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c d e Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Andrew Martin: Publication List Details, Scientific Commons.
External links
[edit | edit source]- Andrew P. Martin at DBLP Bibliography ServerLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
 | This article about a British scientist is a stub. You can help Wikipedia by expanding it. |
- Living people
- Alumni of the University of Oxford
- English computer scientists
- British computer scientists
- Academic staff of the University of Queensland
- Academics of the University of Southampton
- Members of the Department of Computer Science, University of Oxford
- Fellows of Kellogg College, Oxford
- Formal methods people
- British scientist stubs
- Computer scientist stubs