Portrait of Christoph M. Wintersteiger

Christoph M. Wintersteiger

Research Software Development Engineer


I’m a researcher in the Programming Principles and Tools Group, working on SAT solvers with the Constraint Reasoning Group and SMT solvers, e.g., the Z3 theorem prover.

Together with Aleksandar Zeljić and Philipp Rümmer, I received the IJCAR 2014 best paper award for our paper on Approximations for Model Construction!

Probabilistic Z3 has changed license and is now available on GitHub.

mcBV is now available on GitHub under the MIT license.