ETH Medal for three Master's theses
Three Master's graduates from the Department of Computer Science have won the ETH Medal for their outstanding Master's theses. Many congratulations!
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