Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.










