Professor of Computer Science
Wolfson Building, Parks Road, Oxford OX1 3QD
Ursula Martin joined the University of Oxford as Professor of Computer Science in 2014. She 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.
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 panel 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. She was appointed a Commander of the Order of the British Empire in January 2012.
Current research collaborators Andrew Aberdein, Rob Arthan, Lorenzo Lane, Athen Ma, Natasa Milic-Frayling, 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.
An open source software project involving the University of Oxford to extend the capacity of computational mathematics and interactive computing environments has received over 7 million euros in EU funding.
What does mathoverflow tell us about the production of mathematics?
Ursula Martin and Alison Pease
In CoRR. Vol. abs/1305.0904. 2013.
Applications of real number theorem proving in PVS
Hanne Gottliebsen‚ Ruth Hardy‚ Olga Lightfoot and Ursula Martin
In Formal Asp. Comput.. Vol. 25. No. 6. Pages 993−1016. 2013.
A Hoare logic for linear systems
Rob Arthan‚ Ursula Martin and Paulo Oliva
In Formal Asp. Comput.. Vol. 25. No. 3. Pages 345−363. 2013.