Mark Niklas Müller

Registered user since Thu 3 Dec 2020

Name:Mark Niklas Müller

Mark Niklas Müller is a Ph.D. student at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich and advised by Prof. Martin Vechev. Mark’s research focuses on provable guarantees for machine learning models, including both certified training methods as well as deterministic and probabilistic certification methods for a diverse range of neural architectures.

Affiliation:ETH Zurich
Research interests:Machine Learning, Abstract Interpretation, Adversarial Robustness, Robustness Verification, Neural Network Verification


PLDI 2023 Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Show activities from other conferences

PLDI 2023-profile
View general profile