Projects and Grants

Current Projects

  • Google: Glass for Accessibility Awards
    Inclusive Classroom: Teaching and Interacting on the Board 2014
  • SBRI Ready Steady STEM project, Phase 1
    ChemAccess 2014
  • AMS/Bentech Consultancy
    Server Side Math 2014

Previous projects

  • JISC Rapid Innovation project
    Improving Accessibility to Mathematical Teaching Resources 2012
  • EU CIP-ICT Pilot Type B project
    EUDML Development of an advanced European digital library for mathematics
  • Royal Society Internationl Joint Project
    Combining complementary approaches for mathematical/chemical document analysis Collaboration with the Infty Project at Kyushu University, Japan, April 2009 - April 2011
  • EU IHP Network
    Calculemus Systems for Integrated Computation and Deduction
  • EU ISP Network
    MKM Mathematical Knowledge Management
  • Omega A Proof Development System for Mathematics

Scholarships and Fellowships

  • Visiting Scientist, Google Inc.
    Mountain View, USA. 2012-2013
  • Medici Fellowship
    September 2007 - September 2008
  • Visiting Researcher, Transnational Access Program
    at RISC, Hagenberg, Austria Summer 2007
  • EU Marie-Curie Individual Fellowship
    Agent-based Theorem Proving August 2002 - July 2004
  • Promotionsstipendium `Studienstiftung des deutschen Volkes'
    Beweisplanung in Gruppentheorie 1999-2001
  • DAAD Forschungstipendium
    Kombination von Muscadet und Sapper Universite Rene Descartes, Paris V, France, September-December 1997


  • Royal Academy of Engineering Travel Grant
    to Grand Bend July 2009
  • EPSRC Grant for Conferences on Intelligent Computer Mathematics
  • London Mathematical Society Studentships Grant for CICM 2008
  • SSAISB Studentships Grant for CICM 2008
  • Royal Academy of Engineering Travel Grant
    to Seattle August 2006
  • EPSRC Overseas Travel Grant
    to Hong-Kong, Seoul, and Fukuoka September 2005
  • Royal Academy of Engineering Travel Grant
    to Miami and Acapulco August 2003
  • Nuffield Undergraduate Research Bursary
    July - August 2003
  • British-Council Travel Grant
    Automatic Proof Planning in Graph Theory Collaboration with Arjeh Cohen in Eindhoven