Portrait of Christoph M. Wintersteiger

Christoph M. Wintersteiger

Researcher

About

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.

Projects

Publications

Downloads