معرفی
Dr. Michael Köhler-Bußmeier is a Privatdozent (Adjunct Professor) at the Department of Computer Science, University of Hamburg. He previously held the professorship for Theoretical Computer Science and Discrete Mathematics at Hamburg University of Applied Sciences (HAW Hamburg) since 2013. His research focuses on concurrent systems, Petri nets, distributed algorithms, and business processes.
Research Interests: His work spans theoretical computer science, with emphasis on Petri nets, concurrent systems, distributed algorithms, and organizational modeling. He has contributed to formal methods for analyzing adaptive systems, multi-agent systems, and self-organizing processes. His research often integrates formal verification and modeling techniques with practical applications in distributed systems and cyber-physical systems.
Recent Work: His recent publications (2022–2025) emphasize runtime adaptation in distributed systems, modular Petri net models, and formal methods for self-adaptive systems. Key topics include nets-within-nets, stochastic modeling, and digital twin integration for uncertainty handling.
Awards: No specific awards listed, though his work has been recognized through multiple funded projects including BMBF and DFG grants.
Advising & Grants: Supervised Diplomarbeiten (Master’s theses) from 2001–2012. Active in funded projects such as the Herold (BMBF), Sozionik (DFG), and organizational modeling frameworks like SONAR. Organized international workshops on Petri nets, software engineering, and distributed computing.
Labs/Teams: Collaborates with interdisciplinary research groups focusing on Petri net applications, multi-agent systems, and formal methods for complex systems. Involved in the development of tools like SONAR/OREDI for organizational modeling and the Renew Petri net simulation engine.
