Bas Spitters
Scholar

Bas Spitters

Google Scholar ID: Pm70TvUAAAAJ
Associate Professor, Aarhus University
Categorical type theorysemanticsprogram verificationblockchain
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,340
 
H-index
26
 
i10-index
45
 
Publications
20
 
Co-authors
45
list available
Contact
No contact links provided.
Publications
1 items
Agentic Proving for Program Verification
2026
Cited
0
Resume (English only)
Co-authors
45 total
Chris Heunen
Chris Heunen
University of Edinburgh
Danil Annenkov
Danil Annenkov
Aarhus University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Ranald Clouston
Ranald Clouston
Lecturer, Australian National University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University