Marcel Ebbinghaus

Marcel Ebbinghaus is a researcher at the University of Freiburg affiliated with the Department of Computer Science. His work focuses on program verification, concurrent programs, commutativity, and partial order reduction. He has co-authored publications presented at premier venues including CAV, AVM, and TACAS, often collaborating with researchers like Dominik Klumpp, Andreas Podelski, and others.

Research Interests include:

• Program verification for concurrent systems
• Commutativity and partial order reduction techniques
• Preference orders in verification
• Model checking and fairness reduction

Recent Publications Trends: His work emphasizes automated reasoning and verification of parallel/concurrent systems. Key subfields include commutativity analysis, partial order reduction, model checking, and generalization techniques applied to software verification.

Lectures: He co-organizes courses on Theoretical Computer Science (summer 2025) and Discrete Models of Cyber-Physical Systems (winter 2024/25).