Since June 2019 I’m a Research Scientist at Stanford University in the Centaur lab. From 2017 to 2019 I was a postdoctoral researcher in the same lab. I received my PhD in computer science from Johannes Kepler University Linz (Austria), supervised by Armin Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE).
My main area of research is in Satisfiability Modulo Theories (SMT) with a particular interest in developing solvers for (quantified) bit-vectors, and arrays. I’m also interested in automated testing and debugging techniques to develop tools that help developers to test their SMT solvers.
I’m one of the main developers of the SMT solver Boolector (since June 2012) and Bitwuzla. Since June 2017 I’m also part of the developer team and one of the senior technical leads of the SMT solvers CVC4 and its successor cvc5.
Since 2017 I’m one of the maintainers of the SMT-LIB benchmarks.