Professor Lars Birkedal has received 3.3 Mkr from the Villum Foundation in support of a research project on Guarded Homotopy Type Theory.  The goal of the project is to develop new theories for and prototypes of proof assistants, which can be used within both mathematics and computer science.  The project will fund co-applicant visiting Assoc. Prof. Bas Spitters and a PhD student.