ETH-Medaille für drei Masterarbeiten
Herzliche Gratulation an Andisheh Amrollahi (Prof. Krause), Mislav Balunovic (Prof. Vechev) und David Lanzenberger (Prof. Maurer) für ihre ausgezeichneten Arbeiten. (Englisch)
Andisheh Amrollahi
Thesis: Efficiently Learning Fourier Sparse Set Functions
Supervisor: Prof. Andreas Krause, Learning and Adaptive Systems Group
Website
Mislav Balunovic
Thesis: Synthesis of strategies for SMT solvers
Supervisor: Prof. Martin Vechev, Secure, Reliable and Intelligent Systems Lab
Website
David Lanzenberger
Thesis: Contributions to the Theory of Probabilistic Discrete Systems
Supervisor: Prof. Ueli Maurer
Website