Andrew Martin (computer scientist)
Professor Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England.[1][2] He is a member of the Oxford University Department of Computer Science. He is the director of Oxford University's Centre for Doctoral Training in Cyber Security.[3]
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.[1][2]
Career
After his first degree, he joined Praxis High Integrity Systems, Bath as Industrial Software Engineer.[2] After his DPhil, he become Research Fellow at the Software Verification Research Centre in the University of Queensland in Australia.[2] Before taking up his current post in 1999, he was briefly a lecturer in the University of Southampton.[2]
Publications
Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular [4][5]
References
- ↑ 1.0 1.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 2.0 2.1 2.2 2.3 2.4 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Andrew Martin: Publication List Details, Scientific Commons.
External links
- Andrew Martin's publications indexed by the DBLP Bibliography Server at the University of Trier
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
- Year of birth missing (living people)
- Living people
- Alumni of the University of Oxford
- English computer scientists
- University of Queensland faculty
- 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