Scholar
Mark Niklas Müller
Google Scholar ID: RBpmcCAAAAAJ
PhD Student, ETH Zurich
Citations & Impact
Citations
1,095
H-index
16
i10-index
18
Publications
20
Co-authors
36
list available
Publications
Resume (English only)
Background
- Currently the CTO at LogicStar.AI, focusing on provable guarantees for machine learning models. Research interests include both deterministic and probabilistic certification methods and certified training methods. Previously, he was a PostDoc at the Secure, Reliable, and Intelligent Systems Lab of ETH Zürich.
