Sr. Research Scientist, Computer Science
Stanford University
I’m a Senior Research Scientist at Stanford University in the Department of Computer Science in Clark Barrett’s group, affiliated with the Stanford Center for Automated Reasoning. I received my PhD from Johannes Kepler University Linz (Austria), supervised by Armin Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE).
My research focus is on various aspects of Satisfiability Modulo Theories (SMT), in particular procedures for bit-vectors, arrays and uninterpreted functions. Other areas of interest include Boolean satisfiability (SAT) and automated testing and debugging techniques, in particular in the context of solver engineering.
I’m one of the main developers (and senior technical leads) of the SMT solvers Bitwuzla, Boolector and cvc5. I joined the development team of the SMT solver CVC4 in June 2017, and served as one of its senior technical leads until it was succeeded by cvc5.
2024
2023
2022
2021
2020
2019
2018
2017