Scholarships and Fellowships:

• Medici Fellowship
  September 2007 - September 2008. £25000.
  
• EU Marie-Curie Individual Fellowship
  Agent-based Theorem Proving
  August 2002 - July 2004. €106,872.
  
• 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.
  

Here's a list of grants I am currently holding:

• EU CIP-ICT Pilot Type B project
  EUDML
  Development of an advanced European digital library for mathematics. €373,160.
  
• 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. £11588.
  

Here's a list of grants I have held:

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

Here's a list of projects I was involved in:

• EU IHP Network
  Calculemus
  Systems for Integrated Computation and Deduction. €1479924.
  
• EU ISP Network
  MKM
  Mathematical Knowledge Management. €308870.
  
• Omega
  A Proof Development System for Mathematics.