Research Scientist, Computer Science
Stanford University

Contact

353 Jane Stanford Way,
Stanford, CA, 94305, United States

           

Awards

Paper Awards

  Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar. cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS: 415-442. (2022)
SCP Best Tool Paper Award

  Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli. Syntax-Guided Quantifier Instantiation. TACAS: 145–163. (2021)
Nominated for the EATCS Best ETAPS Theory Paper Award

Competitions

My work in Bitwuzla, Boolector, CVC4 and cvc5 contributed to the following awards in competitions.

2021

2020

2019

2018

2017

2016

2015

2014