Anne-Kathrin Schmuck

Assistant Professor, MPI-SWS
Joined
July 2025

Names

Anne-Kathrin Schmuck (Preferred)

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

Coauthor
Alessandro Abate
2024 – Present
Coauthor
Sadegh Soudjani
2015 – Present
Coauthor
Raphael Jungers
2023 – 2024
Postdoc Advisor
R Majumdar
2015 – 2020

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

Publications

Co-Authors