Andrew Martin is a British computer scientist at the

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

, where he i
Professor of Systems Security
Director of the Centre for Doctoral Training in Cyber Security (2013-2023) and deputy director and lecturer in

Software Engineering Programme Software Engineering Programme is a centre for advanced education and applied research at the Department of Computer Science of the University of Oxford. It teaches the principles of modern software engineering, together with the tools, methods, ...

. He is a member of the

Oxford University Department of Computer Science The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

Education

He obtained BA in Mathematics and Computation (1986–1989) and

DPhil A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...

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 Altran UK (formerly known as Altran Praxis, Praxis High Integrity Systems, Praxis Critical Systems, Altran Xype, Xype and Altran Technologies) is a division of parent company Altran. Altran Praxis was a British software house that specialised in c ...

Bath Bath may refer to: * Bathing, immersion in a fluid ** Bathtub, a large open container for water, in which a person may wash their body ** Public bathing, a public place where people bathe * Thermae, ancient Roman public bathing facilities Plac ...

as Industrial Software Engineer. After his DPhil, he became

Research Fellow A research fellow is an academic research position at a university or a similar research institution, usually for academic staff or faculty members. A research fellow may act either as an independent investigator or under the supervision of a pr ...

at the Software Verification Research Centre in the

University of Queensland , mottoeng = By means of knowledge and hard work , established = , endowment = A$224.3 million , budget = A$2.1 billion , type = Public research university , chancellor = Peter Varghese , vice_chancellor = Deborah Terry , city = B ...

Australia Australia, officially the Commonwealth of Australia, is a Sovereign state, sovereign country comprising the mainland of the Australia (continent), Australian continent, the island of Tasmania, and numerous List of islands of Australia, sma ...

. Before taking up his current post in 1999, he was briefly a lecturer in the

University of Southampton , mottoeng = The Heights Yield to Endeavour , type = Public research university , established = 1862 – Hartley Institution1902 – Hartley University College1913 – Southampton University Coll ...

Publications

Martin's publications cover

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

security Security is protection from, or resilience against, potential harm (or other unwanted coercive change) caused by others, by restraining the freedom of others to act. Beneficiaries (technically referents) of security may be of persons and social ...

trusted computing Trusted Computing (TC) 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 that is distinct from the field of Confidential Computing. The core ide ...

in general and

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

in particular Andrew Martin: Publication List Details

Scientific Commons ScientificCommons was a project of the University of St. Gallen ''Institute for Media and Communications Management''. The major aim of the project was to develop the world’s largest archive of scientific knowledge with fulltexts freely accessib ...

References

External links

* Year of birth missing (living people) Living people Alumni of the University of Oxford English computer scientists British computer scientists Academic staff of the University of Queensland Academics of the University of Southampton Members of the Department of Computer Science, University of Oxford Fellows of Kellogg College, Oxford Formal methods people {{Compu-scientist-stub