معرفی
Bas Spitters is an Associate Professor at the Department of Computer Science, Aarhus University, Denmark. He leads the Concordium Blockchain Research Center and the Blockchain workpackage in Digit, and contributes to Aarhus University's Quantum Campus initiative.
His research spans Homotopy Type Theory, Formal Verification, and High-assurance cryptographic software. He develops proof assistants like Coq for applications in probabilistic programming, blockchain security, and quantum computing.
Recent article trends focus on verified compilation (CertiCoq-Wasm), smart contract certification (ConCert), and applications of HoTT to probabilistic and blockchain systems. Key keywords include Formal Methods, Blockchain, Quantum Computing, and Cubical Type Theory.
Scientific awards and grants:
- AFOSR grant (2018-2021) for Homotopy Type Theory in probabilistic computation
- Villum Foundation grant (2015-2019) for Guarded Homotopy Type Theory
- NWO VENI grant (2010-2013) for Reasoning and Computing
- DIAMANT researcher grant
Advising and collaboration:
- Advised PhD students: Benjamin Salling Hvass, Jakob Botsch Nielsen, Andreas Aagaard Lynge, Soren Eller Thomsen, Martin Bidlingmaier
- Collaborated on computer-verified exact analysis, smart contracts, and quantum logic
- Organized workshops: TYPES workshop, HACS, and DMV Mini-Symposium
