Anne-Kathrin Schmuck (Preferred)
Anne-Kathrin Schmuck
Pronouns: she/her
Assistant Professor, MPI-SWS
- Joined July 2025
Names
Emails
****@mpi-sws.org (Confirmed)
Personal Links
Career & Education History
Assistant Professor
MPI-SWS (mpi-sws.org)
2020 – Present
Postdoc
MPI-SWS (mpi-sws.org)
2015 – 2020
PhD student
Technische Universität Berlin (tu-berlin.de)
2010 – 2015
Advisors, Relations & Conflicts
Expertise
formal methods, two-player games, temporal logic, omega-regular control, reactive synthesis, CEGAR, CEGIS
Present
data-driven control, abstraction, formal methods and control, cyber physical systems
Present
shielding, omega-regular shielding, safety, barrier certificates
Present