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. I am also interested in programming languages, type systems, and interactive theorem proving.

You may wish to view my academic curriculum vitae.