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]

gollark: <@542741739920818180> Watch this, it's a very good reference point: https://www.youtube.com/watch?v=ZTwCtQIEswM
gollark: Odd choice.
gollark: Unix? Not Solaris? Really?
gollark: I was actually replying to what Junduvai said about Linux on consoles.
gollark: Yes, we satirize people asking that sort of thing.

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


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.