Andrew Martin (computer scientist)

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

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

External links

Andrew P. Martin at DBLP Bibliography Server

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.

Zdroj:https://en.wikipedia.org?pojem=Andrew_Martin_(computer_scientist)
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.

[1] "Centre for Doctoral Training in Cyber Security". Retrieved 19 January 2015.

[Andrew_Martin-2] "Dr Andrew Martin: Oxford University". Retrieved 10 October 2010.

[OUCL-3] "Andrew Martin: Oxford University". Retrieved 10 October 2010.

[Publication_of_Dr._Andrew_Martin-4] "Publication of Dr. Andrew Martin:Oxford University". Retrieved 10 October 2010.

[5] Andrew Martin: Publication List Details, Scientific Commons.

[1]

[2]

[3]

[4]

[5]