Andrew Martin is a British computer scientist at the

University of Oxford The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...

, England, where he i
Professor of Systems Security
Director of the

Centre for Doctoral Training Doctoral Training Centres (DTCs; also called Centres for Doctoral TrainingCentr ...

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, University of Oxford , Department of Computer Science of the University of Oxford. It teaches the principles of modern so ...

. 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, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

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 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 p ...

at the

Software Verification Research Centre Software consists of computer programs that instruct the Execution (computing), execution of a computer. Software also includes design documents and specifications. The history of software is closely tied to the development of digital comput ...

in the

University of Queensland The University of Queensland is a Public university, public research university located primarily in Brisbane, the capital city of the Australian state of Queensland. Founded in 1909 by the Queensland parliament, UQ is one of the six sandstone ...

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

University of Southampton The University of Southampton (abbreviated as ''Soton'' in post-nominal letters) is a public university, public research university in Southampton, England. Southampton is a founding member of the Russell Group of research-intensive universit ...

Publications

Martin's publications cover

software engineering Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

security Security is protection from, or resilience against, potential harm (or other unwanted coercion). Beneficiaries (technically referents) of security may be persons and social groups, objects and institutions, ecosystems, or any other entity or ...

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. With Trust ...

in general and

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

in particularAndrew 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 accessi ...

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