Matthias Rungger

Matthias Rungger is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on research in Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and related areas. His work spans Distributed Systems, Security & Privacy, and Social & Information Systems. Specific details about his academic rank, awards, or advising roles are not explicitly provided in the source text, though he is listed under the 'People Faculty' section of the institute's website.

Research interests include foundational algorithm design, formal verification techniques for software systems, and challenges in cyber-physical and distributed networks. While the text does not list specific publications, his affiliations suggest involvement in cutting-edge interdisciplinary research aligned with MPI-SWS’s priorities.