Christoph Wintersteiger
Senior Computer Scientist at Imandra
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top School
Top expert inFunctional Programming and Formal Verification Technologies
Christoph Wintersteiger is a senior computer scientist with 13 years of experience bridging research-grade formal methods and production security engineering. He holds a PhD from ETH Zürich and spent over a decade at Microsoft Research before joining Imandra, bringing deep expertise in theorem proving, SMT solver integration (notably Z3), and enclave/cryptographic systems. His open-source contributions span high-profile projects like Z3, Open Enclave, CCF, FStar, and mbedtls, where he has improved solver tooling, attestation plugins, and cryptographic integrations such as Curve25519/Everest. Christoph combines low-level C systems work and rigorous proof-oriented language engineering, often tackling tricky memory, encoding, and performance issues that lie at the intersection of verification and security. Colleagues rely on him for stabilizing complex toolchains and upgrading cryptographic primitives while preserving interoperability across diverse platforms. He is based in London and known for quietly fixing subtle, high-impact bugs that enable safer, more provable software.
13 years of coding experience
17 years of employment as a software developer
M.Sc., Computer Science, M.Sc., Computer Science at Johannes Kepler Universität LinzNo Degree, Telematics, No Degree, Telematics at Technische Universität GrazPh.D., Computer Science, Ph.D., Computer Science at ETH Zürich
English, German
Stackoverflow
8,273reputation
196kreached
343answers
5questions
Github Skills (45)
ecdhe10
programming-language10
c-language10
dependent-types10
tls1210
sha10
sgx10
solver10
c1110
tls1310
security10
ecdsa10
c1710
mtls10
language-design10
Programming languages (20)
Github contributions (5)
Z3Prover/z3
Oct 2012 - Jun 2022
The Z3 Theorem Prover
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 releases, 7 reviews, 2068 commits in 9 years 9 months
Contributions summary:Christoph's contributions center around fixing problems in the examples/c/test_capi.c code. Their work involved correcting variable declarations within the example code, as well as integrating changes from the main branch of the Z3Prover/z3 repository. In addition to this, the user was involved in other merging activies from upstream.
theorem-proverprovertheorem
microsoft/CCF
Sep 2020 - Jan 2023
Confidential Consortium Framework
Role in this project:Back-end Developer
Back-end DeveloperContributions:532 reviews, 119 commits, 218 PRs in 2 years 4 months
Contributions summary:Christoph upgraded the Evercrypt code within the Confidential Consortium Framework. This involved modifying C code related to EverCrypt's DRBG functions, specifically upgrading Evercrypt code. Further, the user added, removed, and modified Merkle trees code. They also added OpenSSL and mbedTLS hash functions and switched History to full SHA256.
cppconfidentialityjavascriptframeworkintegrity
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.