Ursula Martin
Ursula Hilda Mary Martin CBE[1] (born 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 2014, Martin has been 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, 2005–2009.[2]
Life
Ursula Martin began in mathematics working in group theory, later moving into string rewriting systems.[3] She gained an MA from the University of Cambridge and a PhD from the University of Warwick, both in mathematics. She has held academic posts at University of Illinois at Urbana-Champaign (U.S.), the University of Manchester (UK), Royal Holloway, University of London She has made sabbatical visits to MIT and SRI International (Menlo Park). She was a Visiting Fellow at the Oxford Internet Institute in 2004.[4]
From 1992 to 2002, Martin was Professor of Computer Science at the University of St Andrews in Scotland. She was the first female professor at the University since its foundation in 1411.[5]
From 2003 to 2005, Ursula Martin was seconded to the University of Cambridge Computer Laboratory part-time as Director of the Women@CL project[6] 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.
Martin has been 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).
Honours and awards
Ursula Martin was appointed Commander of the Order of the British Empire (CBE) in the 2012 New Year Honours for services to computer science.[7]
References
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Women@CL, University of Cambridge, UK.
- ↑ The London Gazette: (Supplement) no. 60009. p. 7. 31 December 2011.
External links
- QMUL home page
- Publications
- University of Oxford home page
- List of publications from Microsoft Academic Search
- Ursula Martin's publications indexed by the DBLP Bibliography Server at the University of Trier
- Ursula Martin's publications indexed by Google Scholar, a service provided by Google
- Ursula Martin at the Mathematics Genealogy Project
- Ursula Martin on Academia.edu
- Ursula Martin on LinkedIn
Lua error in package.lua at line 80: module 'strict' not found.
- 1953 births
- Living people
- Alumni of Girton College, Cambridge
- Alumni of the University of Warwick
- British computer scientists
- Formal methods people
- University of Illinois at 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
- Academics of Queen Mary University of London
- Members of the Department of Computer Science, University of Oxford
- Academic journal editors
- Women computer scientists
- Commanders of the Order of the British Empire
- Female judoka
