Back
Projects and Grants of Volker Sorge
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.
Back