Ursula Martin
Template:Short description Script error: No such module "Distinguish". Script error: No such module "Unsubst". Template:Use British English Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
Dame Ursula Hilda Mary Martin (born 3 August 1953) is a British computer scientist, with research interests in theoretical computer science and formal methods. 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.[1][2][3][4][5]
From 2014Template:Ndash2018, Martin was a professor of computer science in the Department of Computer Science at the University of Oxford, and holds an EPSRC 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, where she was Vice-Principal of Science and Engineering, 2005Template:Ndash2009.[6]
Education
Martin was born in London on 3 August 1953 to Anne Louise (née Priestman) and Captain Geoffrey Richard Martin.[7] She was educated at Abbey College at Malvern Wells. In 1975 she graduated with an MA from Girton College, Cambridge, and in 1979 with a PhD from the University of Warwick, both in mathematics.[8][7][9]
Career and research
Martin began in mathematics working in group theory, later moving into string rewriting systems.[10] She has held academic posts at University of Illinois at Urbana-Champaign, the University of Manchester and Royal Holloway, University of London. She has made sabbatical visits to Massachusetts Institute of Technology and SRI International (Menlo Park). In 2004 she was a visiting fellow at the Oxford Internet Institute.[11]
From 1992 to 2002, Martin was Professor of Computer Science at the University of St Andrews in Scotland. She was the second female professor at the University, following Margaret Fairlie (Professor of Obstetrics and Gynaecology, 1940), since its foundation in 1411.[12][13]
From 2003 to 2005, Martin was seconded to the University of Cambridge Computer Laboratory part-time and served as the director of the Women@CL project[14] to lead local, national and international initiatives for women in computing, supported by Microsoft Research and Intel Cambridge Research. She was a Fellow of Newnham College, Cambridge.
From 2014 to 2023, Martin was principle investigator on the EPSRC project The Social Machine of Mathematics on mathematics as a large-scale collaborative enterprise between humans and computers.[15] She was one of the organisers of the Big Proof programme series held at the Isaac Newton Institute in 2017[16] and 2025,[17] and at the International Centre for Mathematical Sciences in 2019.[18]
Martin has served as an advisory editor for the Annals of Pure and Applied Logic journal (published by Elsevier) and on the editorial boards for The Journal of Computation and Mathematics (London Mathematical Society) and Formal Aspects of Computing (Springer-Verlag).
Publications
Her publications include:
- with Christopher Hollings and Adrian Rice, Ada Lovelace: The Making of a Computer Scientist, Oxford: The Bodleian Library, 2018, 114 pp. Template:ISBN
Honours and awards
Martin was appointed Commander of the Order of the British Empire (CBE) in the 2012 New Year Honours for services to computer science.[19] In 2017 she was elected a Fellow of the Royal Society of Edinburgh (FRSE)[20] and the Royal Academy of Engineering (FREng).[21] In 2025 she was appointed Dame Commander of the Order of the British Empire (DBE) in the King's 2025 Birthday Honours for services to computer science.[22]
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "String". Template:PAGENAMEBASE at DBLP Bibliography ServerTemplate:EditAtWikidata
- ↑ Script error: No such module "citation/CS1".
- ↑ a b Template:Who's Who
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "String". Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Women@CL, University of Cambridge, UK.
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "Citation/CS1".Script error: No such module "London Gazette util".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
Script error: No such module "Authority control".
- Pages with script errors
- Pages containing London Gazette template with parameter supp set to y
- 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
- British academic journal editors
- British women computer scientists
- Dames Commander of the Order of the British Empire
- Fellows of the Royal Society of Edinburgh
- 21st-century British women engineers