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