Grants

Principal Investigator

  • 2014-2017  » ProofPeer: Collaborative Theorem Proving. EPSRC funded responsive mode project EP/L011794/1 (£653,510).
  • 2012-2013 » Computer-based Modelling for Safe Intra-hospital Patient Transfers. EPSRC/University of Edinburgh funded  project in collaboration with St Mary’s Hospital, Imperial College Healthcare NHS Trust, UK and Biomedical Informatics, University of California San Diego, USA (£26,428). RA: Petros Papapanagiotou and Areti Manataki.
  • 2005–2006 » Royal Society of Edinburgh/Scottish Executive Support Research Fellowship.
  • 2001–2004 » A Generic Approach to Proof Planning. EPSRC funded responsive mode project GR/N37414 (£62,839). RA/PhD Student: Lucas Dixon.

Co-investigator

  • 2015–2019 » Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant EP/N014758/1 (£1,304,455).
  • 2013–2016 » Concept Invention Theory (COINVENT), EU funded FP7 research project (£359,118/EUR 502,766).
  • 2011–2015 » Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant EP/J001058/1 (£1,140,286).
  • 2007–2011 » Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant EP/E005713/1 (£928,224).
  • 2004–2007 » Automated Analysis of Security Critical Systems. EPSRC funded project GR/S98139/01 (£183,664).
  • 2002–2007 » Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant GR/S01771/01 (£426,265).
  • 2001–2004 » A Proof System for Correct Program Development. EPSRC funded project GR/N6457/01 (£197,475).
  • 1999–2003 » Computational Modelling of Mathematical Reasoning. EPSRC funded rolling grant GR/M45030 (£914,659).

 

More ESPRC Profile available on the EPSRC website (for some projects).

Comments are closed.