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, and since June 2017 I’m also part of the developer team of the SMT solver CVC4. I’m one of the main developers of the SMT solver Bitwuzla.