Laura Stegner

Laura Stegner is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. Her work spans interdisciplinary areas including algorithms, programming languages, and cybersecurity.

Her research interests include theoretical computer science, verification techniques for software systems, and the design of secure distributed systems. She contributes to advancing methodologies for ensuring correctness and reliability in cyber-physical and networked systems.

As part of MPI-SWS, she collaborates with global academic and industrial partners to address challenges in software engineering and information security. Her work aligns with the institute's mission to explore cutting-edge topics in computing systems and their societal impact.