Research interests
The main goal of my research is improving
software reliability
through application of formal methods.
My current research at WatForm
focuses on formal logic, model checking, and verification.
Specifically, I am working on various optimizations aiming to
improve the analysis performance of the Alloy Analyzer on
models.
I am also interested in programming languages, type systems, and
interactive theorem proving.
You may wish to view my academic curriculum vitae.