Registered user since Thu 3 Dec 2020
Name:Mark Niklas Müller
Bio:
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.
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://www.sri.inf.ethz.ch/people/mark
Research interests:Machine Learning, Abstract Interpretation, Adversarial Robustness, Robustness Verification, Neural Network Verification
Contributions
PLDI 2023-profile
View general profile
View general profile