|
|
- Leverhulme Research Fellowship, October 2013 - September 2015.
- EPSRC grant for the project ``Homotopical Inductive Types", May 1,
2013 - April 30, 2016.
- EPSRC grant for the project ``Constructive Set Theory: Models,
Independence Results and Mathematics", July 1, 2009 - June 30, 2011.
- EPSRC grant ``Workshop on Proof Theory and Constructivism", July 2009.
Jointly with Stan Wainer.
- LMS Conference Grant ``Proofs and Computations" 2009.
- Royal Society International Joint Projects Grant with Estonia.
November 2007 - October 2009.
- Royal Society International Joint Projects Grant with Belgium.
May 2007 - September 2009.
- Invited Fellow of the Swedish Collegium for Advanced Study.
January - June 2009.
|