I’m a Senior RSDE in the Confidential Computing Group, working on CCF and related projects.
In the past I also worked on SAT and SMT solvers, e.g., the Z3 theorem prover and applications in software analysis.
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.