Research
A brief overview of projects that I've worked on
ProVerB
Specification Translator
Taxonomy of Annotations for Deductive Verification
VerCors
Theses