Congratulations to Dominik Winterer on his successful PhD defense!
Dominik Winterer successfully defended his thesis in September!
We'd like to congratulate Dominik Winterer on his successful PhD defense in September 2024 🥳.
Thesis: Solidifying Modern SMT Solvers. Photo: Peter Müller, Dominik Winterer, Maria Christakis, Zhendong Su.
Supervisor: Zhendong Su; Co-Examiners: Maria Christakis (TU Wien), Peter Müller; Chair: Andreas Krause
[Download Thesis abstract (PDF, 139 KB)] [Thesis, ETH Research Collection]
