About me

I am Marc Fischer, 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 March 2019.

Education

ETH Zurich, September 2013 – February 2019: B.Sc. and M.Sc. in Computer Science

Awards

2019 ETH Medal for Outstanding Master Thesis Awarded

Publications

2019

DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
ICML 2019

2018

Robust Relational Layouts Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, Martin Vechev
ACM OOPSLA 2018