Large grant for Ass. Professor Bas Spitters

2018.05.22 | Sofia Rasmussen

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!

People , CS frontpage, Featured, Public/media