P**rofessor 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**

*Ursula Martin and Alison Pease, Mathematical practice, crowdsourcing and social machines, Proceedings of Intelligent Computer Mathematics, Lecture Notes in Computer Science Volume 7961, 2013, pp 98-119, Springer**paper**Ursula Martin and Alison Pease, What does mathoverflow tell us about the production of mathematics, Proceedings of SOHUMAN 13, 1st May 2013, Paris**paper**Rob Arthan, Ursula Martin and Paulo Oliva, A Hoare Logic for linear systems, Formal Aspects of Computing 25 (3), 345-363 (2013), (Online First May 2011)**paper**Ursula Martin and Alison Pease, Seventy four minutes of mathematics: an analysis of the third Mini-Polymath project, in AISB Symposium on Mathematical Practice and Cognition II, 2-4 July 2012, University of Birmingham, Birmingham, UK**paper**Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin, Applications of real number theorem proving in PVS, Formal Aspects of Computing Online First June 2012**paper**Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva, A general framework for sound and complete Floyd-Hoare logics ACM Trans. Comput. Log. (TOCL) 11(1) (2009)**paper*

**Recent activity**

- 10 December 2103, Introduction to fellowship project, DREAM group Edinburgh
- 8 November 2013, Seminar University of Newcastle
- 6 November 2013, Seminar, Microsoft Research Cambridge
- 4 November 2013, Informal seminar, University of Cambridge
- 29 October 2013, London Mathematical Society Colloquium, Mathematics research beyond the blackboard
- 25 October 2103, Introduction to fellowship project, social informatics group Edinburgh
- 17 - 19 September 2013,
- 22 - 26 July 2013, ITP 4th conference on interactive theorem proving, Rennes, France
- 22 July 2013, AI4FM workshop, Rennes, Presentation, "The mathematics social machine"
- 8 - 12 July 2013, CICM, Conferences on Intelligent Computer Mathematics, Bath, Invited plenary speaker
- 2 - 4 July 2013 SOCIAM Programme Grant All Hands meeting, Edinburgh
*Ursula Martin and Alison Pease, Mathematical practice, crowdsourcing and social machines, to appear Proceedings of CICM 2013, Springer**paper*- 23 May 2013 Chair of the Annual BCS Karen Sparck Jones lecture, to be given by Turing Award winner Professor Barbara Liskov, MIT
- 16 May 2013, SICSA meeting on Cyberphysical systems, Edinburgh, Presentation, "Hoare Logic for continuous systems", slides
- 1 - 5 May 2013, ACM Web Science Conference, Paris
- 1 May 2013, SOHUMAN 13 workshop, Paris, Presentation, "What does mathoverflow tell us about the production of mathematics", to appear Proceedings of SOHUMAN 13
*paper* - 23 April 2013, women@CL, Computer Laboratory University of Cambridge, invited speaker, "So what's all this about impact" slides
- 11-12 April 2013, Automated Reasoning workshop, Dundee, Panel Chair, Machine Learning in Automated Reasoning
- April 2013 RA Alison Pease has a new job as a lecturer in the Argumentation Group at the University of Dundee!!
- 12 March 2013, Seminar Edinburgh, "Discussionologies: how should we analyse mathematical conversations" slides
- 14 February 2013, SICSA meeting on social sensemaking, "Two recommendations for online collaborative mathematics", Martin/Pease, presented by Alison Pease
- 18-19 January 2013, Ethics and Explanation 2013 Conference, Nottingham, "An Empirical Investigation into Explanation in Mathematical Conversations", Aberdein/Martin/Pease, presented by Andrew Aberdein and Alison Pease, full paper in preparation
- January 2013, Edge Question, "What should we be worried about". Contribution, "Close observation and description"
- 9 - 14 December 2012, ICERM Workshop on Reproducibility in Computational and Experimental Mathematics, Brown University Providence RI, Presentation "Is mathematics a social machine?"
- 5 December 2012, School of Mathematics, QMUL, Seminar, "Computer support for mathematics - what can we do and where are we going?"
- 6 - 9 November, Dagstuhl Seminar, Publication culture in computing research, Presentation "The best science? The best scientists?" Slides
- 26 October 2012, Edinburgh Social Informatics group, Seminar, "Social mathematics and social computing"
- 10 - 12 September 2012, AHRC conference on Mathematical Cultures, London, Invited plenary speaker, "Online/off line - mathematical culture in the age of the internet"
- 18-20 July 2012, Co-production of knowledge conference, York, Presentation, "Crowdsourced maths"
- 3 July 2012, I met the HM the Queen in Holyrood Palace, Edinburgh
- 1 - 6 July 2012, Dagstuhl Seminar, AI meets Formal Software Development Presentation, "1377 questions and counting - what can we learn from online math?" Slides
- 21 June 2012, SICSA Annual PhD Conference, Glasgow, Presentation, "So what's all this about impact"
- 18 - 23 June 2012 CiE Europe, Cambridge, Presentation, "Summary of an ethnographic study of the third Mini-Polymath project", Martin/Pease, presented by Alison Pease
- 6th June 2012, PhilMath Intersem, Paris, Seminar:"What can we learn from online math?"
- 3 May 2012 Department of Mathematics University of Reading, Seminar, "1377 questions and counting - what can we learn from online math?"
- 15 April 2012, SICSA Mathematics and Computer Proof Discussion Day, Edinburgh. This meeting of 30 leading mathematicians and computer scientists had talks from Sir Michael Atiyah (Edinburgh), John Harrison (Intel), and Georges Gonthier (Microsoft), followed by a debate led by UM. Atiyah's lecture on "Error" here Debate report here
- 8 March 2012, Workshop on Innovation Networks and securing impact, Queen Mary, Chair
- 24 February 2012 Edinburgh Social Informatics group, Seminar , "1377 questions and counting - what can we learn from online math?"
- 23 February 2012 School of Mathematics, University of St Andrews, Seminar, "1377 questions and counting - what can we learn from online math?"
- 31 December 2011 A very special New Year