Ursula Martin

Martin was born in London on 3 August 1953 to Anne Louise (née Priestman) and Captain Geoffrey Richard Martin.[9] 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.[10][9][1]

Martin began in mathematics working in group theory, later moving into string rewriting systems.[11] 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.[12]

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

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