Andrew Martin (computer scientist)

For other people named Andrew Martin, see Andrew Martin (disambiguation).

Dr 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 Computing Laboratory.

Contents

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 become 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 [3][4]

References

  1. ^ a b "Dr Andrew Martin: Oxford University". http://www.softeng.ox.ac.uk/Andrew.Martin/. Retrieved 2010-10-10. 
  2. ^ a b c d e "Andrew Martin:Oxford University". http://web.comlab.ox.ac.uk/people/Andrew.Martin/. Retrieved 2010-10-10. 
  3. ^ "Publication of Dr. Andrew Martin:Oxford University". http://www.softeng.ox.ac.uk/Andrew.Martin/publications.html. Retrieved 2010-10-10. 
  4. ^ Andrew Martin: Publication List Details, Scientific Commons.

External links