Four doctoral graduates receive ETH Medals
Four D-INFK doctoral graduates have received ETH Medals for their outstanding dissertations. Congratulations, Marco Eilers, Timon Gehr, Yifan Wang and Gaspard Zoss!
Marco Eilers
Thesis: Modular Specification and Verification of Security Properties for Mainstream Languages
Supervisor: Prof. Peter Müller
Group: Programming Methodology Group
Timon Gehr
Thesis: Symbolic Methods for Machine Intelligence
Supervisor: Prof. Martin Vechev
Group: Secure, Reliable, and Intelligent Systems Lab
Yifan Wang
Thesis: Detail-driven Geometry Processing Pipeline using Neural Networks
Supervisor: Prof. Olga Sorkine-Hornung
Group: Interactive Geometry Lab
Gaspard Zoss
Thesis: Data-Driven Face Analysis for Performance Retargeting
Supervisor: Prof. Markus Gross
Group: Computer Graphics Laboratory