Michael Haustermann

Michael Haustermann is a Researcher at the University of Hamburg's Faculty of Informatics, within the Theoretical Foundations Group. His work focuses on Petri net-based modeling tools, software engineering methodologies, and domain-specific languages. He contributes to the development of the Renew toolset for Petri net modeling and simulation, emphasizing formal methods and their application in collaborative systems. His research spans IoT architectures, agent-oriented software systems, and education technologies like adaptive testing frameworks (VideoFOS and FormAdTe). He has published extensively on Petri net applications in concurrency, software engineering, and system design, collaborating with institutions globally. Current projects include advancing Petri net tools for model-based development and exploring edge computing architectures.