University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Ursula Martin

Personal photo - Ursula Martin
Ursula Martin
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.

Selected Publications

View all

Manage publications

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.