Ursula Martin
From Wikipedia, the free encyclopedia
Ursula Martin (born 1953) is a British computer scientist. She is Vice-Principal of Science and Engineering at Queen Mary, University of London and a Professor of Computer Science in the Department of Computer Science there.
Ursula Martin 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).
From 1992 to 2002, she 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.
From 2003 to 2005, Ursula Martin was seconded to the University of Cambridge Computer Laboratory part-time as Director of the Women@CL project 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.
She is 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).
Throughout Ursula Martin's career, she has been involved in many activities aimed at encouraging women in the fields of computing and mathematics. Her research interests have been in the area of theoretical computer science and formal methods.