Ursula Martin MA PhD FBCS FIEE CEng

Professor of Computer Science, Queen Mary University of London

Ursula.Martin at qmul.ac.uk
Queen Mary University of London
Mile End Road
London E1 4NS
UK
Office contact: Hayley Cork

hayleyc at dcs.qmul.ac.uk
Phone: +44 20 7882 3006
Director of the impactQM project at Queen Mary University of London (2009-2012), Vice-Principal for Science and Engineering at Queen Mary University of London (2005-2009), and a Professor of Computer Science in the School of Electronic Engineering and Computer Science (2003- ). I am a member of the Logic and Foundations research group at Queen Mary.

Prior to this I help a joint appointment with the University of Cambridge and Intel Research Cambridge (2003-2005). I was a Professor of Computer Science at the University of St Andrews 1992-2002, the first female professor in the University since its foundation in 1411: my time in various posts of as Head of Teaching and Coordinator of Research of this small Department saw it rise to be in the top 5 of several major league tables for UK computer science departments. I earlier held posts in London, Manchester and the University of Illinois at Urbana-Champaign, and spent made sabbatical visits to SRI International in Menlo Park and to MIT. I have an MA from Cambridge, and a PhD from Warwick, both in mathematics. Throughout my career I have been involved in numerous activities to encourage women in computing and mathematics.
Research
I am developing a new team working on applications of computational logic to computational mathematics. Our current main project conce rns using fundamental ideas from computer science to provide a new understanding of control in engineering applications, and greater assurance in designing digital control systems, for example in avionics or novel computational architectures. Other research has included the mathematics of termination, novel unification algori thms, practical exploitation of symmetry in computation, and combining computational logic and computational mathematics. Publications