Sneha Girap

Andrew Martin (computer scientist)

Updated on
Share on FacebookTweet on TwitterShare on LinkedIn
Name  Andrew Martin
Role  Computer scientist
Education  University of Oxford

Andrew Martin (computer scientist) Department of Computer Science Andrew Martin

Professor Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England. 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.

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.

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

References

Andrew Martin (computer scientist) Wikipedia


Similar Topics
Born on the Fourth of July (film)
Mark Braverman
Poussi
Topics