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

2021

Effective Certification of Monotone Deep Equilibrium Models
Mark Niklas Müller, Robin Staab, Marc Fischer, Martin Vechev
arXiv 2021
Shared Certificates for Neural Network Verification
Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev
arXiv 2021
Scalable Certified Segmentation via Randomized Smoothing
Marc Fischer, Maximilian Baader, Martin Vechev
ICML 2021
Boosting Randomized Smoothing with Variance Reduced Classifiers
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev
arXiv 2021

2020

Learning Certified Individually Fair Representations
Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin Vechev
NeurIPS 2020
Certified Defense to Image Transformations via Randomized Smoothing
Marc Fischer, Maximilian Baader, Martin Vechev
NeurIPS 2020

2019

Online Robustness Training for Deep Reinforcement Learning
Marc Fischer, Matthew Mirman, Steven Stalder, Martin Vechev
arXiv 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