Associate professor Computer Science at Aarhus University. He leads the formal verification and smart contract parts of the CoBRA research center. His research focuses on type theory and formal verification, especially in the context of blockchains. This includes programming languages and high assurance cryptography.
Talks I've Given
Formal Verification of Subsets of the Rust Language
Featuring Bas Spitters
In this presentation, Bas will give a very brief introduction to interactive formal verification of programming languages before providing an overview of three projects that his team is working on at the CoBRA institute.code fiat-crypto cryptography coq formal-verification rust