Andrew Martin (computer scientist)
{{short description|British computer scientist}}
{{About|Andrew Philip Martin|other uses (e.g., Andrew C. R. Martin)|Andrew Martin (disambiguation){{!}}Andrew Martin}}
{{Use dmy dates|date=February 2025}}
{{Use British English|date=April 2018}}
Andrew Martin is a British computer scientist at the University of Oxford, England, where he is [https://www.cs.ox.ac.uk/people/andrew.martin/ Professor of Systems Security], Director of the Centre for Doctoral Training in Cyber Security{{Cite web| url=https://www2.cybersecurity.ox.ac.uk/cdt/| title=Centre for Doctoral Training in Cyber Security| accessdate=2015-01-19}} (2013–2023) and deputy director and lecturer in Software Engineering Programme.{{Cite web| url=http://www.softeng.ox.ac.uk/Andrew.Martin/| title=Dr Andrew Martin: Oxford University| accessdate=2010-10-10}}{{Cite web| url=http://web.comlab.ox.ac.uk/people/Andrew.Martin/| title=Andrew Martin: Oxford University| accessdate=2010-10-10}}
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.
Career
After his first degree, he joined Praxis High Integrity Systems, Bath as Industrial Software Engineer. After his DPhil, he became Research Fellow at the Software Verification Research Centre in the University of Queensland in Australia. Before taking up his current post in 1999, he was briefly a lecturer in the University of Southampton.
Publications
Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular{{Cite web| url=http://www.softeng.ox.ac.uk/Andrew.Martin/publications.html| title=Publication of Dr. Andrew Martin:Oxford University| accessdate=2010-10-10}}[http://en.scientificcommons.org/andrew_martin Andrew Martin: Publication List Details], Scientific Commons.
References
{{Reflist}}
External links
- {{DBLP|name=Andrew P. Martin}}
{{Authority control}}
{{DEFAULTSORT:Martin, Andrew}}
Category:Year of birth missing (living people)
Category:Alumni of the University of Oxford
Category:English computer scientists
Category:British computer scientists
Category:Academic staff of the University of Queensland
Category:Academics of the University of Southampton
Category:Members of the Department of Computer Science, University of Oxford
Category:Fellows of Kellogg College, Oxford
Category:Formal methods people
{{UK-scientist-stub}}
{{Compu-scientist-stub}}