Bas Spitters

Bas Spitters is affiliated with Aarhus University and is an active researcher in the fields of formal verification, programming languages, and certified software systems. His work centers on applying proof assistants like Coq to ensure correctness in smart contracts, cryptographic implementations, and compilers.

His research interests include:

• Formal Verification of Software and Protocols
• Smart Contracts and Decentralized Finance (DeFi)
• Verified Compilation and Compiler Correctness
• Cryptography and Zero-Knowledge Proofs
• Proof Assistants and Theorem Proving
• Secure and High-Performance Systems

The recent publications highlight a consistent focus on end-to-end verification of critical systems, particularly in blockchain and cryptography. His work often bridges theoretical foundations with practical implementation, aiming to produce high-assurance, executable code through extraction from formal proofs. There is a strong emphasis on using Coq for building certified tools and frameworks.

Bas Spitters has no listed scientific awards in the provided text.

He has not been mentioned as advising any students in the provided data. There is no mention of grants or funding sources. His research appears to be conducted within a collaborative academic environment focused on programming language theory and formal methods.

No specific lab or research team is named, but his contributions to the CPP conference series suggest involvement in the broader formal methods and certified programming community.