Professor Ursula Martin CBE FBCS FIET FIMA


School of Electronic Engineering and Computer Science

Queen Mary University of London

Mile End Road

London E1 4NS


Ursula.Martin@eecs.qmul.ac.uk


[Until September 2013, on sabbatical leave at the University of Edinburgh.]


Ursula Martin has held, since 2003, a chair of computer science in the School of Electronic Engineering and Computer Science at Queen Mary University of London, where she was Vice-Principal for Science and Engineering (2005-2009), and Director of the impactQM project (2009-2012). She was appointed a Commander of the Order of the British Empire in January 2012, and is a member of the U K Defence Science Advisory Council, and serves on the 2014 UK HEFCE REF panel for Computer Science. She has previously held appointments at St Andrews, Royal Holloway University of London, Manchester and Urbana Champaign, and 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.]

Research challenge

How can we use computers to advance mathematics, through enhancing the formal and informal aspects of discovery, collaboration and proof? Are social machines the answer? Research overview here

Current research collaborators Andrew Aberdein, Rob Arthan, 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