Biography: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
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
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
Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular [4][5]
References
- ↑ "Centre for Doctoral Training in Cyber Security". https://www2.cybersecurity.ox.ac.uk/cdt/. Retrieved 2015-01-19.
- ↑ 2.0 2.1 "Dr Andrew Martin: Oxford University". http://www.softeng.ox.ac.uk/Andrew.Martin/. Retrieved 2010-10-10.
- ↑ 3.0 3.1 3.2 3.3 3.4 "Andrew Martin: Oxford University". http://web.comlab.ox.ac.uk/people/Andrew.Martin/. Retrieved 2010-10-10.
- ↑ "Publication of Dr. Andrew Martin:Oxford University". http://www.softeng.ox.ac.uk/Andrew.Martin/publications.html. Retrieved 2010-10-10.
- ↑ Andrew Martin: Publication List Details, Scientific Commons.
External links
- {{DBLP}} template missing ID and not present in Wikidata.
 |  |
