Andrew Martin (computer scientist)
- Andrew Martin (computer scientist)
-
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.
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
External links
| Persondata |
| Name |
Martin, Andrew |
| Alternative names |
|
| Short description |
Computer scientist |
| Date of birth |
|
| Place of birth |
United Kingdom |
| Date of death |
|
| Place of death |
|
Categories:
- Living people
- Alumni of the University of Oxford
- British computer scientists
- University of Queensland faculty
- Academics of the University of Southampton
- Members of Oxford University Computing Laboratory
- Fellows of Kellogg College, Oxford
- Formal methods people
- British scientist stubs
- Computer scientist stubs
Wikimedia Foundation.
2010.
Look at other dictionaries:
Andrew D. Gordon — is a British computer scientist.Gordon is the co designer of Spi Calculus (with Martin Abadi), Ambient calculus (Luca Cardelli), and other various programming languages. Until 1997 he was a Research Fellow at the University of Cambridge Computer… … Wikipedia
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
Martin David Kruskal — Born September 28, 1925(1925 09 28) New York City … Wikipedia
List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… … Wikipedia
David Patterson (scientist) — This article is about the American computer scientist. For other spellings and people of the same name, see David Patterson (disambiguation). David Patterson Born … Wikipedia
List of Jewish American computer scientists — This is a list of famous Jewish American Computer Scientists. For other famous Jewish Americans, see List of Jewish Americans. * Hal Abelson, artificial intelligence * Len Adleman, RSA cryptography, DNA computing, Turing Award (2002) * David… … Wikipedia
Morris Cohen (scientist) — Morris Cohen (November 27, 1911 – May 27, 2005). Born in Chelsea, Massachusetts, United States, Cohen spent his entire career affiliated with MIT. He graduated from his undergraduate degree in 1933, receiving his doctorate three years later, and… … Wikipedia
List of Princeton University people — This is a table of notable people affiliated with Princeton University, including graduates of the undergraduate college and all graduate programs, former students, and former professors. Some noted current faculty are also listed in the main… … Wikipedia
List of Amherst College people — This is a list of some notable people affiliated with Amherst College.Notable alumniCollege founders and presidents*Edward Jones 1826, Principal of forerunner of Fourah Bay College (the predecessor of the University of Sierra Leone) (Africa)… … Wikipedia
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
