Write a Blog >>
Andrew Reynolds

Not registered as user yet

Name: Andrew Reynolds

Bio: I am a Post-Doc at the LARA group at EPFL in Lausanne, Switzerland, working with Viktor Kuncak. My research focus is on various aspects of Satisfiability Modulo Theories, including quantified formulas, decision procedures, and proof checking. I am the primary developer of the module for handling quantified formulas in the SMT solver CVC4. My current focus is developing new techniques for handling quantified formulas within SMT solvers, including heuristic E-matching, finite model finding, model-based instantiation, methods for automating proofs by induction, and approaches for synthesis conjectures.

Affiliation: EPFL

Personal website: http://lara.epfl.ch/~reynolds/

Contributions

POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile