Jump to content

Andrew Martin (computer scientist)

From Wikipedia, the free encyclopedia

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

[edit]

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

[edit]

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

[edit]

Martin's publications cover software engineering, security, trusted computing in general and formal methods in particular [4][5]

References

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