Andrea Dauber

Dr. Andrea Dauber is a Researcher and Coordinator of the IMPRS-SPCE program at the Max Planck Institute for the Study of Societies (MPIfG) in Cologne, Germany. Her work focuses on developing verification frameworks for distributed systems, particularly through the design of the Must framework. This tool enables efficient model checking of industrial-scale distributed protocols using novel algorithms like optimal dynamic partial order reduction. Her research addresses challenges in concurrency, distributed computing models, and formal verification, with applications to systems like replicated logs and transaction management protocols.

Key contributions include demonstrating Must's scalability through real-world case studies and advancing the usability of verification tools via high-level system abstractions. Dauber's interdisciplinary approach bridges programming language design and distributed systems engineering, contributing to both theoretical foundations and practical industrial implementations.