Large grant for Ass. Professor Bas Spitters

Associate professor Bas Spitters has received a grant of DKK 3.4 million from Air Force Office of Scientific Research. The grant includes funding for a PhD student and a Postdoc to work on how to apply homotopy type theory to probabilistic programming and to develop theory and tools for computer aided proofs in security. Congratulations!