معرفی
Markus Müller-Olm is a Professor at the University of Münster, Germany, specializing in theoretical computer science and program verification. His academic profile shows active participation in major programming language conferences through 2026.
His primary research interests include:
- Concurrency Theory
- Model Checking
- Program Logics
- Program Analysis
- Verification
Professor Müller-Olm's research focuses on developing formal verification techniques for complex program structures, particularly addressing challenges in concurrent and recursive systems. His work bridges theoretical foundations with practical applications in ensuring software correctness through rigorous mathematical methods.
His recent publications demonstrate a consistent research trajectory in hyperproperties and recursive program analysis, with particular emphasis on asynchronous systems and dynamic thread management. These works represent cutting-edge contributions to program verification, addressing complex challenges that arise in modern concurrent software systems.
Professor Müller-Olm maintains active engagement with the programming languages research community, evidenced by his service on program committees for premier conferences including POPL (through 2026) and ESOP. His institutional homepage at the University of Münster confirms his ongoing academic position within the computer science division.
