Anne-Kathrin Schmuck has been appointed as new tenure-track faculty as of July 1st, 2023, after leading a prestigious externally funded Emmy-Noether research group hosted at MPI-SWS since 2020. Her group conducts fundamental research at the intersection of control engineering, cybernetics, and computer science to develop reliable and performant control software for cyber-physical systems. In particular, her work addresses the challenge of orchestrating continuous physical components and discrete logical decision making units within these highly automated and safety-critical technological systems.

Anne has been part of the MPI-SWS faculty as an independent research group leader since 2020. She holds a Dipl.-Ing. (M.Sc.) degree in engineering cybernetics from OvGU Magdeburg, Germany and a Dr.-Ing. (Ph.D.) degree in electrical engineering from TU Berlin, Germany. She joined MPI-SWS as a postdoctoral researcher in the area of formal methods in 2015.

Kaushik Mallik's thesis, entitled Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems, has been recognized with the 2023 ETAPS Doctoral Dissertation Award. The award is given to the PhD student who has made the most original and influential contribution to the research areas in the scope of the ETAPS conferences, and has graduated at a European academic institution. Kaushik was advised by MPI-SWS faculty member Rupak Majumdar.

This is the second time that the ETAPS Doctoral Dissertation Award was given to an MPI-SWS student. In 2021 it was awarded to Ralf Jung for his thesis on Understanding and Evolving the Rust Programming Language, supervised by Derek Dreyer.