Scholar
Bas Spitters
Google Scholar ID: Pm70TvUAAAAJ
Associate Professor, Aarhus University
Categorical type theory
semantics
program verification
blockchain
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,340
H-index
26
i10-index
45
Publications
20
Co-authors
45
list available
Publications
1 items
Agentic Proving for Program Verification
2026
Cited
0
Co-authors
11 total
Chris Heunen
University of Edinburgh
Danil Annenkov
Aarhus University
Ranald Clouston
Lecturer, Australian National University
Lars Birkedal
Dept. of Computer Science, Aarhus University
Andrej Bauer
University of Ljubljana
Rasmus Møgelberg
IT University of Copenhagen
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Théo Winterhalter
Inria Saclay
