Andrew Reynolds (Preferred)
Andrew Reynolds
Researcher, Computer Science, University of Iowa
Joined
July 2019
Names
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
Expertise
Satisfiability Modulo Theories
Present
Automated Theorem Proving
Present
Syntax-Guided Synthesis
Present
Publications
No publications