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.