About me

I am Mark Müller, 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, starting October 2020.


  • ETH Zurich, September 2018 - October 2020
    Visiting Student in the Department of Computer Science
  • University of Stuttgart, October 2018 - October 2020
    M.Sc. in Aerospace Engineering
  • University of Stuttgart, October 2014 - April 2018
    B.Sc. in Aerospace Engineering



Certify or Predict: Boosting Certified Robustness with Compositional Architectures
Mark Niklas Müller, Mislav Balunovic, Martin Vechev
ICLR 2021
PRIMA: Precise and General Neural Network Certification via Multi-Neuron Convex Relaxations
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev
arXiv 2021

Work experience

  • Dr. Ing. h.c. F. Porsche AG, Weissach, 11/2018 - 08/2019
    Working Student
  • Bosch Rexroth AG, Stuttgart, 09/2018 - 10/2018
    Data Science Intern
  • Mercedes-AMG Petronas Formula One Team, Brackley, 07/2017 - 07/2018
    Industrial Placement - Aerodynamicist


AIRBUS Defence & Space Award for the best overall Bachelor degree in Aerospace Engineering