I am a Research Scientist at the University of Iowa
and one of main developers of the Satisfiability Modulo Theories (SMT) solver CVC4.
I am part of the Computational Logic Center CLC at the University of Iowa.
My current research interests include implementing techniques in SMT solvers for
unbounded strings and regular expressions,
first-order quantified formulas and synthesis conjectures.
Teaching
CS 5810, Formal Methods in Software Engineering, Fall 2019.
Clark Barrett, Christopher Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, and Cesare Tinelli. CVC4. CAV 2011, tool paper.
Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades, Corey Oliver, and Ruoyu Zhang. LFSC for SMT Proofs: Work in Progress. PXTP 2012.