Honors

Professorships

• Erich Funke Professor, 2026–31

• F. Wendell Miller Professor, 2019–26

Program Committee Chairing

CADE-29 • TACAS 2015 • FroCoS 2011

Invited and Keynote talks

VMW 2025 • SAT 2024 • MOSCA 2023 • CADE-27 • VSTTE 2018 • Vampire 2018 • FroCoS 2017 • NSV 2016 • WRLA 2014 • SVARM 2013 • COMPARE 2012 • NFM 2012 • FT Summer School 2011 • WoLLIC 2010 • VERIFY 2007 • TABLEAUX 2007 • Interpolations (2007)

Invited Lectures and Tutorials

SAT/SMT/AR Summer School 2025 • Marktoberdorf Summer School 2024 • Formal Techniques Summer School 2024 • ETAPS 2019 • SC² Summer School 2017 • STRESS 2014 • SAT/SMT Summer School 2012 • CAV 2005 • 2004 Summer School on Combination of Decision Procedures

Invited Contributions

Handbook of Model Checking, 2nd ed., 2026 (in preparation) • Handbook of Satisfiability, 2nd ed., 2021 • Handbook of Model Checking, 2018 • Handbook of Satisfiability, 2009 • IEEE Intelligent Systems Magazine 21(6), 2006

Awards

• ETAPS Rance-Cleaveland Test-of-Time Tool Award (for cvc5), 2026

• FM Distinguished Tutorial Award, 2024

• ETAPS SCP Best Tool Paper Award, 2022

• CAV Award, 2021

• EATCS Best Paper Award Nominee, 2021

• FMCAD Honorable mention, 2019

• FMCAD Best Paper Award, 2016

• Collegiate Scholar Award, 2012–14

• HVC Award, 2010

• NSF CAREER Award, 2003