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.
On the side, I dabble in Lean
and enjoy hacking on
Emacs Lisp.
I’m also a free software
and copyleft
advocate, and a volunteer webmaster for the GNU project.
You may wish to view my academic curriculum vitae.