Scholar
Andrew Reynolds
Google Scholar ID: -0T1EtoAAAAJ
University of Iowa, Amazon Web Services
Citations & Impact
Citations
3,592
H-index
28
i10-index
58
Publications
20
Co-authors
77
list available
Publications
Resume (English only)
Academic Achievements
- Published numerous papers at top-tier conferences including FMCAD, CAV, IJCAR, TACAS, VMCAI, LPAR, and CADE
- Co-authored the CVC5 tool paper 'cvc5: A Versatile and Industrial-Strength SMT Solver', awarded Best Tool Paper at TACAS 2022
- Paper 'Syntax-Guided Quantifier Instantiation' received Honorable Mention for Best Paper at TACAS 2021
- Paper 'Extending Enumerative Function Synthesis via SMT-Driven Classification' received Honorable Mention for Best Paper at FMCAD 2019
- Made significant contributions to string solving, quantifier instantiation, sequence reasoning, bit-precise reasoning, and Synthesis Modulo Oracles
