Project Leaders

I am a professor at Stanford University and a project leader for CVC4.  I work with all of the developers closely and have contributed code for a variety of features, including the array theory solver, several preprocessing phases, parts of the combination framework, and the model generation procedure.

I'm a Professor of Computer Science at the University of Iowa and a project leader for CVC4. I'm involved mainly in high level activities such as overall design and new features and algorithms, and in the research behind them. I'm also active in seeking and securing funding for CVC4's development from governmental  agencies and through collaborations with industrial partners.


I'm a postdoc at Stanford University, working with Clark Barrett. I've worked on CVC4's proof generation infrastructure.

I did my PhD with Clark at NYU. I am currently at Verimag working as a Research Scientist. Most of the code in CVC4's arithmetic solver can be blamed on me.

I'm a research scientist at University of Iowa.  My research focus has been various approaches for quantified formulas in SMT, including E-matching, finite model finding, and techniques for automating induction.  I also wrote the datatypes theory solver and co-wrote the strings theory solver.

Fork me on GitHub