I am Luca Beurer-Kellner, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, since February 2021.
ETH Zurich, September 2018 – December 2020: M.Sc. in Computer Science
Humboldt University of Berlin, September 2014 - April 2018: B.Sc. in Computer Science
- Institute Award for Best Bachelor Thesis 2018, Humboldt University of Berlin