Andrew_Martin_(computer_scientist)

Andrew Martin (computer scientist)

Andrew Martin (computer scientist)

British computer scientist

This article is about Andrew Philip Martin. For other uses (e.g., Andrew C. R. Martin), see Andrew Martin.

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

  1. [1]
    "Centre for Doctoral Training in Cyber Security". Retrieved 19 January 2015.
  2. [2]
    "Dr Andrew Martin: Oxford University". Retrieved 10 October 2010.
  3. [3]
    "Andrew Martin: Oxford University". Retrieved 10 October 2010.
  4. [4]
    "Publication of Dr. Andrew Martin:Oxford University". Retrieved 10 October 2010.
  5. [5]
    Andrew Martin: Publication List Details, Scientific Commons.


Stub icon

This article about a British scientist is a stub. You can help Wikipedia by expanding it.

P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.
Share this article:

This article uses material from the Wikipedia article Andrew_Martin_(computer_scientist), and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.