Andrew Reynolds

Pronouns: he/him

Researcher, Computer Science, University of Iowa

  • Joined July 2019

Names

Andrew Reynolds (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@uiowa.edu (Confirmed)

Personal Links

Career & Education History

Researcher
Computer Science, University of Iowa (iowa.edu)
2016 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
2008 – 2013
 

Expertise

Satisfiability Modulo Theories
Present
 
Automated Theorem Proving
Present
 
Syntax-Guided Synthesis
Present