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.
Thank you for visiting.