Research Interests

My research interests include formal verification methods like model checking, Property-Directed Reachability (IC3), counterexample generation, and automated inductive proofs. My research currently focuses on verifying properties of probabilistic models (including synthetic biological systems) as part of the multi-university FLUENT Verification Project. I primarily research under the excellent mentorship of Zhen Zhang at Utah State University.


As I have developed engineering skills, I have built a handful of semi-interesting projects. Highlights include hundreds of thousands of Sudoku puzzles, a number of “random thing generators”, and more.


I regularly update my CV with publications, awards, education, and skills.


I maintain a number of projects and blogs that are not directly related to my professional and academic life. The central hub for these projects is mossBiscuits.

Thank you for visiting. Have a lovely day.