Andrew Martin (computer scientist)
Encyclopedia
Dr 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 Computing Laboratory
.
, Bath as Industrial Software Engineer. After his DPhil, he become 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
.
, security
, trusted computing
in general and formal methods
in particular
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist, Deputy Director and lecturer in Software Engineering Programme
Software Engineering Programme
Software Engineering Programme is a centre for advanced education and applied research at the University of Oxford . It teaches the principles of modern software engineering, together with the tools, methods, and techniques that support their application...
at the University of Oxford
University of Oxford
The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...
, England
England
England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...
.
He is a member of the Oxford University Computing Laboratory
Oxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
.
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 SystemsPraxis High Integrity Systems
Altran Praxis is a British software house that specialises in critical systems...
, Bath as Industrial Software Engineer. After his DPhil, he become Research Fellow
Research fellow
The title of research fellow is used to denote a research position at a university or similar institution, usually for academic staff or faculty members. A research fellow may act either as an independent investigator or under the supervision of a principal investigator...
at the Software Verification Research Centre in the University of Queensland
University of Queensland
The University of Queensland, also known as UQ, is a public university located in state of Queensland, Australia. Founded in 1909, it is the oldest and largest university in Queensland and the fifth oldest in the nation...
in Australia
Australia
Australia , officially the Commonwealth of Australia, is a country in the Southern Hemisphere comprising the mainland of the Australian continent, the island of Tasmania, and numerous smaller islands in the Indian and Pacific Oceans. It is the world's sixth-largest country by total area...
. Before taking up his current post in 1999, he was briefly a lecturer in the University of Southampton
University of Southampton
The University of Southampton is a British public university located in the city of Southampton, England, a member of the Russell Group. The origins of the university can be dated back to the founding of the Hartley Institution in 1862 by Henry Robertson Hartley. In 1902, the Institution developed...
.
Publications
Martin's publications cover software engineeringSoftware engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
, security
Security
Security is the degree of protection against danger, damage, loss, and crime. Security as a form of protection are structures and processes that provide or improve security as a condition. The Institute for Security and Open Methodologies in the OSSTMM 3 defines security as "a form of protection...
, trusted computing
Trusted Computing
Trusted Computing is a technology developed and promoted by the Trusted Computing Group. The term is taken from the field of trusted systems and has a specialized meaning. With Trusted Computing, the computer will consistently behave in expected ways, and those behaviors will be enforced by...
in general and formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
in particular