Large grant for Ass. Professor Bas Spitters
![](/fileadmin/news_import/BasSpitters_May2018_40pct.jpg)
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!