معرفی
David Mosteller is a Researcher at the University of Hamburg's Faculty of Informatics (MIN), working within the Theoretical Foundations Group (TGI). His primary role involves research on Petri net-based methodologies and their applications in software engineering. He contributes to the development and maintenance of the Renew Reference Net Workshop tool, focusing on model-driven development and meta-modeling frameworks.
His research interests center around formal methods, domain-specific modeling languages, and concurrent systems. He has been actively involved in projects like Petri net tools for model creation/execution and has published extensively on topics such as integrated simulation frameworks, IoT architecture modeling, and meta-modeling environments.
Teaching activities include leading exercises and projects in formal foundations of computer science, functional programming, and collaborative software engineering. He has supervised practical courses on distributed systems and agent-oriented software development since 2014.
Notable contributions include the Renew framework's semantic integration and case studies demonstrating its applicability. His work bridges theoretical foundations with practical software engineering challenges, particularly in distributed and concurrent system modeling.
