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 became 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
- ^ a b "Dr Andrew Martin: Oxford University". Retrieved 2010-10-10.
- ^ a b c d e "Andrew Martin: Oxford University". Retrieved 2010-10-10.
- ^ "Centre for Doctoral Training in Cyber Security". Retrieved 2015-01-19.
- ^ "Publication of Dr. Andrew Martin:Oxford University". Retrieved 2010-10-10.
- ^ Andrew Martin: Publication List Details, Scientific Commons.
External links
- Andrew Martin at DBLP Bibliography Server
- Living people
- Alumni of the University of Oxford
- English computer scientists
- British 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