About Me

Hello there! I am Stefanie Mohr. After finishing my Master's degree in 'Robotics, Cognition, Intelligence' at the Technical University of Munich, I started to pursure a doctoral degree in March 2020. Currently, I'm working at the Chair of Foundations of Software Reliability and Theoretical Computer Science as a Doctoral candidate supervised by Prof. Jan Křetínský and as a part of the Research Training Group ConVeY. When I am not working, I love to do sports, especially bouldering, biking, jogging and swimming. If it is a rainy day, I can also spent some time on sewing and knitting.

This is how I might currently look:
Me, Myself and I

This is how I usually look:
Me, Myself and I

Research Interest

I am interested in creating safe Machine Learning programmes. This includes looking into the techniques of formally verifying properites of Deep Neural Networks and on safe Reinforcement Learning.


  1. P. Ashok, V. Hashemi, J. Křetínský, S. Mohr. DeepAbstract: Neural Network Abstraction for Accelerating Verification. Accepted at ATVA 2020. (pre-print)


  1. Presentation at MOVEP Summer School: Neural Network Abstraction for Accelerating Verification (PDF)
  2. Highlights of Automata and Verification (Research Abstract, Poster)
  3. Short Tutorial on Verification of Neural Networks (PDF)