Professor Ursula Martin CBE FBCS FIET FIMA

As from 1st February 2014

Professor of Computer Science and EPSRC Fellow

University of Oxford

Ursula Martin joined the University of Oxford in 2014. Prior to that she held, since 2003, a chair of computer science in the School of Electronic Engineering and Computer Science at Queen Mary University of London. She has been awarded an EPSRC Fellowship for 2014-2017, and will spend 2014 academic year developing this work in partnership with a number of universities and companies.  

She was appointed a Commander of the Order of the British Empire in January 2012. At Queen Mary she was Vice-Principal for Science and Engineering (2005-2009), and Director of the impactQM project (2009-2012). She served on the U K Defence Science Advisory Council, on the 2001 and 2008 UK HEFCE RAE panels for Computer Science, and was a SICSA distinguished visitor at the University of Edinburgh for 2012-13. She has previously held appointments at the University of St Andrews (the first female professor in any discipline since its foundation in 1411), Royal Holloway University of London, Manchester and Urbana Champaign. She holds an MA in Mathematics from Cambridge and a PhD in Mathematics from Warwick.

[If you have heard about my recent illness, I am now doing fine, and getting back to research and travel again.]

The EPSRC fellowship, the mathematics social machine, will investigate how computers can advance mathematics, through enhancing the formal and informal aspects of discovery, collaboration and proof. Overview here

Current research collaborators Andrew Aberdein, Rob Arthan, Lorenzo Lane, Athen Ma, Alison Pease, Paulo Oliva, Maxine Robertson

Former RAs, graduate students and co-authors Andrew Adams, Richard Boulton, Muffy Calder, Adam Cichon, Dave Cohen, Victoria Coleman, Nick Cropper, Jeremy Dick, Martin Dunstan, Hanne Gottliebsen, Ruth Hardy,  Geir Helleloid, John Kalmus, Tom Kelsey, Mike Lai, Olga Lightfoot, Steve Linton, Erik Mathiesen, Bill Mitchell, Hanan Mohammed, Kathy Norrie, Tobias Nipkow, Sam Owre, Peter Prohle,  Liz Scott, Tim Storer, Duncan Shand, Phil Watson, Jeannette Wing

Recent Publications

Google scholar page

Recent activity