[go: up one dir, main page]

Hi, my name is

Stefanie.

Scientist. Problem Solver. Critical Thinker. Curious.

A passionate researcher and developer of ML applications deeply driven by curiosity in life.

About me

Hi, my name is Stefanie! Glad you found your way here. I recently defended my PhD in Safe AI at the Technical University of Munich, where I focused on building systems that are not only powerful, but also trustworthy and robust. My dream is to help create a world where we can use AI confidentely because we’ve taken the time to understand it and make it safe.

What sets me apart is my rare combination of theoretical depth and practical experience. With a degree in mathematics and a track record of tackling theoretical problems in my publications, I find beauty in writing proofs and thinking things through precisely. But I’m just as passionate about implementation: writing clean, reproducible code in Python or C++, and turingn and idea into something that persits. I’ve built an entire framework from the very idea until publication of a polished tool on PyPI.

I’ve always worked alongside studying: whether helping people with IT problems, developing ML solutions in the automotive industry, or exploring projects on my own. I value autonomy and tend to take initiative, especially when it means learning something new or building something meaningful. Curiosity is what drives me, and it doesn’t stop when I close my laptop. I like to understand things to their core, whether it is a concept in machine learning or a question that comes up over dinner.

I enjoy meaningful, knowledge-based discussion, and while I value harmony in a team, I’ll always prefer rational arguments when it comes to the work itself. My colleagues describe me as structured, organized, and reliable, but also as someone who brinst warmth to the group, always smiling and creating an open, respectful enviroment.

Experience

Doctoral Researcher - Technical University of Munich
Mar 2020 - present
Research for my dissertation with the title ‘Safer AI via Exploiting the Structure of Learned Systems for Monitoring, Verification, Abstraction, Representation, and Explainability’. Research areas: Runtime Monitoring of Neural Networks, Abstraction for the verification of Neural Networks, Interdisciplinary work for predicting the temperature of rivers
Developer of functions for highly automated driving - AUDI
Oct 2019 - Feb 2020
Developing functionatliy for highly automated driving, especially in interpreting the scene.
Working Student - AUDI
Apr 2017 - Oct 2019
Internships in various groups: Developing a tool for visualizing radar, lidar and camera perspectives; Prototypical evaluation of IoT-solutions for use in the production of cars; Supporting the head of the department of developing autonomous driving; Developing deep-learning approaches for predicting the weight of passengers by photo
Intern - AUDI
Apr 2016 - Oct 2016
Developing software support for the full vehicle testing in VB.net.
Working Student - BayernLB
Feb 2014 - Mar 2016
First-Level-IT-Support

Education

2020 - 2025
PhD (Dr. rer. nat.)
Technical University of Munich, Germany
Research in verification and safe AI resulting in 10 publications in various international conferences (see my publication list ).
2017 - 2019
Master of Science
Technical University of Munich, Germany
Grade: 1.3
Robotics, Cognition, Intelligence
2012 - 2017
Bachelor of Science
Ludwig-Maximilians-University, Munich, Germany
Grade: 1.64
Mathematics
2003 - 2012
Gymnasium (High School)
Eichendorff-Gymnasium, Ettlingen, Germany
Grade: 1.1

Teaching

2024
Summer semester
Tutorial for “Einführung in die Theoretische Informatik” (Introduction to Theoretical Computer Science)
2023/2024
Winter semester
Seminar - Recent Advances in the Verification of Neural Networks
2023
Summer semester

Tutorial for “Einführung in die Theoretische Informatik” (Introduction to Theoretical Computer Science)

Practical Course - Recent Advances in Model Checking

Seminar - Recent Advances in the Verification of Neural Networks

Seminar - Recent Advances in Model Checking

2022/2023
Winter semester
Master Seminar - Recent Advances in Model Checking
2022
Summer semester

Tutorial for “Einführung in die Theoretische Informatik” (Introduction to Theoretical Computer Science)

Practical Course - Recent Advances in Model Checking

2021/2022
Winter semester
Seminar - Recent Advances in the Verification of Neural Networks
2021
Summer semester
Tutorial for “Einführung in die Theoretische Informatik” (Introduction to Theoretical Computer Science)
2020
Summer semester

Seminar - Security and Verification

Seminar - Theoretical Advances in Deep Learning

Projects

Monitizer
Monitizer
A Python-framework to optimize and evaluate Neural Network monitors.
LiNNA
LiNNA
An abstraction framework for Neural Networks.