Ursula Hilda Mary Martin (born 3 August 1953) is a British

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

, with research interests in

theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

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

. She is also known for her activities aimed at encouraging women in the fields of computing and mathematics. Since 2019, she has served as a professor at the

School of Informatics, University of Edinburgh The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former Department of Artificial Intelli ...

. From 20142018, Martin was a Professor of

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

in the Department of Computer Science 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 ...

, and holds an

EPSRC The Engineering and Physical Sciences Research Council (EPSRC) is a British Research Council that provides government funding for grants to undertake research and postgraduate degrees in engineering and the physical sciences, mainly to universi ...

Established Career Fellowship. Prior to this she held a chair of Computer Science in the School of Electronic Engineering and Computer Science at

Queen Mary, University of London , mottoeng = With united powers , established = 1785 – The London Hospital Medical College1843 – St Bartholomew's Hospital Medical College1882 – Westfield College1887 – East London College/Queen Mary College , type = Public researc ...

, where she was Vice-Principal of Science and Engineering, 20052009.

Education

Martin was born in London on 3 August 1953 to Anne Louise (née Priestman) and Captain Geoffrey Richard Martin. She was educated at Abbey College at

Malvern Wells Malvern Wells is a village and civil parish south of Great Malvern in the Malvern Hills district of Worcestershire, England. The parish, once known as South Malvern, was formed in 1894 from parts of the civil parishes of Hanley Castle, Welland, ...

. In 1975 she graduated with an MA from

Girton College, Cambridge Girton College is one of the 31 constituent colleges of the University of Cambridge. The college was established in 1869 by Emily Davies and Barbara Bodichon as the first women's college in Cambridge. In 1948, it was granted full college status ...

, and in 1979 with a

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. albu ...

from the

University of Warwick The University of Warwick ( ; abbreviated as ''Warw.'' in post-nominal letters) is a public research university on the outskirts of Coventry between the West Midlands (county), West Midlands and Warwickshire, England. The university was founded i ...

, both in

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

Career and research

Martin began in mathematics working in

group theory In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...

, later moving into

string rewriting system In theoretical computer science and mathematical logic a string rewriting system (SRS), historically called a semi- Thue system, is a rewriting system over strings from a (usually finite) alphabet. Given a binary relation R between fixed strings ov ...

s. She has held academic posts at

University of Illinois at Urbana-Champaign The University of Illinois Urbana-Champaign (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Univ ...

, the

University of Manchester , mottoeng = Knowledge, Wisdom, Humanity , established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria Univer ...

and

Royal Holloway, University of London Royal Holloway, University of London (RHUL), formally incorporated as Royal Holloway and Bedford New College, is a public research university and a constituent college of the federal University of London. It has six schools, 21 academic departm ...

. She has made sabbatical visits to

Massachusetts Institute of Technology The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the ...

and

SRI International SRI International (SRI) is an American nonprofit scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as a center of innovation to support economic d ...

( Menlo Park). In 2004 she was a visiting fellow at the

Oxford Internet Institute The Oxford Internet Institute (OII) is a multi-disciplinary department of social and computer science dedicated to the study of information, communication, and technology, and is part of the Social Sciences Division of the University of Oxford ...

. From 1992 to 2002, Martin was Professor of Computer Science at the

University of St Andrews (Aien aristeuein) , motto_lang = grc , mottoeng = Ever to ExcelorEver to be the Best , established = , type = Public research university Ancient university , endowment ...

Scotland Scotland (, ) is a country that is part of the United Kingdom. Covering the northern third of the island of Great Britain, mainland Scotland has a border with England to the southeast and is otherwise surrounded by the Atlantic Ocean to the ...

. She was the first female professor at the University since its foundation in 1411. From 2003 to 2005, Martin was seconded to the

University of Cambridge Computer Laboratory The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. it employed 35 academic staff, 25 support staff, 35 affiliated research staff, and about 15 ...

part-time and served as the director of the Women@CL project to lead local, national and international initiatives for

women in computing Women in computing were among the first programmers in the early 20th century, and contributed substantially to the industry. As technology and practices altered, the role of women as programmers has changed, and the recorded history of the fiel ...

, supported by

Microsoft Research Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technologi ...

and Intel Cambridge Research. She was a Fellow of

Newnham College, Cambridge Newnham College is a women's Colleges of the University of Cambridge, constituent college of the University of Cambridge. The college was founded in 1871 by a group organising Lectures for Ladies, members of which included philosopher Henry Sid ...

. Martin has served as an advisory editor for the ''Annals of Pure and Applied Logic'' journal (published by

Elsevier Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', th ...

) and on the editorial boards for ''The Journal of Computation and Mathematics'' (

London Mathematical Society The London Mathematical Society (LMS) is one of the United Kingdom's learned societies for mathematics (the others being the Royal Statistical Society (RSS), the Institute of Mathematics and its Applications (IMA), the Edinburgh Mathematical S ...

) and ''

Formal Aspects of Computing ''Formal Aspects of Computing'' (''FAOC'') is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and ...

'' (

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

Publications

Her publications include * with

Christopher Hollings Christopher is the English language, English version of a Europe-wide name derived from the Greek language, Greek name Χριστόφορος (''Christophoros'' or ''Christoforos''). The constituent parts are Χριστός (''Christós''), "Jesus ...

and Adrian Rice, ''Ada Lovelace: The Making of a Computer Scientist'', Bodleian Library, 2018, 114 pp.

Honours and awards

Martin was appointed

Commander of the Order of the British Empire The Most Excellent Order of the British Empire is a British order of chivalry, rewarding contributions to the arts and sciences, work with charitable and welfare organisations, and public service outside the civil service. It was established o ...

(CBE) in the

2012 New Year Honours 1 (one, unit, unity) is a number representing a single or the only entity. 1 is also a numerical digit and represents a single unit of counting or measurement. For example, a line segment of ''unit length'' is a line segment of length 1. I ...

for services to computer science. In 2017 she was elected a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

Royal Society of Edinburgh The Royal Society of Edinburgh is Scotland's national academy of science and letters. It is a registered charity that operates on a wholly independent and non-partisan basis and provides public benefit throughout Scotland. It was established i ...

(FRSE) and the

Royal Academy of Engineering The Royal Academy of Engineering (RAEng) is the United Kingdom's national academy of engineering. The Academy was founded in June 1976 as the Fellowship of Engineering with support from Prince Philip, Duke of Edinburgh, who became the first senior ...

(FREng).

References

{{DEFAULTSORT:Martin, Ursula Hilda Mary 1953 births Living people Alumni of Girton College, Cambridge Alumni of the University of Warwick British computer scientists Formal methods people University of Illinois Urbana-Champaign faculty Academics of the University of Manchester Academics of Royal Holloway, University of London Academics of the University of St Andrews Fellows of Newnham College, Cambridge Fellows of the Royal Academy of Engineering Female Fellows of the Royal Academy of Engineering Academics of Queen Mary University of London Members of the Department of Computer Science, University of Oxford Academic journal editors British women computer scientists Commanders of the Order of the British Empire Fellows of the Royal Society of Edinburgh 21st-century women engineers