I’m a Research Scientist at Stanford University in the Department of Computer Science in Clark Barrett’s group. Prior to that, I was a postdoctoral researcher at Stanford University in the same group. 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.
Since June 2012, I’m one of the main developers of the SMT solver Boolector. Since June 2017 I’m part of the developer team and one of the senior technical leads of the SMT solvers CVC4 and its successor cvc5. I’m one of the main developers of the SMT solver Bitwuzla.