Juergen Dingel

Professor in School of Computing and Adjunct Professor in ECE at RMC
School of Computing, Queen's University
723 Goodwin Hall
Kingston, Ontario, K7L 2N8, Canada
Office: (613) 533-3071
FAX: (613) 533-6513
E-mail: my last name at cs dot queensu dot ca

Bief Bio

Juergen joined the Computing faculty in the winter of 2000. He received an M.Sc. in Computer Science from Berlin University of Technology in 1992, an M.Sc. in Pure and Applied Logic in 1994 and a Ph.D. in Computer Science in 1999 from Carnegie Mellon University. Juergen was PC Co-chair of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS'14) and of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11). He is on the editorial boards of the Springer journals Software and Systems Modeling (SoSyM), and Software Tools for Technology Transfer (STTT) and currently serves as chair of the MODELS Steering Committee and as Interim Co-chair of the Research and Academia Committee of the Eclipse Papyrus Industrial Consortium. His research has been supported by various sources including IBM, GM, Ericsson, the Natural Science and Engineering Council of Canada (NSERC), the Ontario Centres of Excellence (OCE), the Ontario Ministry of Research, Innovation, and Science, the Deutsche Forschungsgemeinschaft (DFG), and the German Academic Exchange Service. At Queen's, he has served as the Chair of Undergraduate Studies (2015 - 2017) in the School of Computing where he also leads the Modeling and Analysis in Software Engineering Group (MASE).

Research

Research interests: Software modeling, model-driven engineering, analysis of software artifacts, formal specification and verification, formal methods, testing, software quality assurance, software engineering.

Projects: Please see the pages of our Modeling and Analysis in Software Engineeing (MASE) group.

Selected publications: Can be found here.

Publication profiles: On Google Scholar and on DBLP.

Supervision

Current visitors, postdocs and students: David Andrews (PhD), Mark Fischer (PhD), Mojtaba Bagherzadeh (PhD), Reza Ahmadi (PhD), Karim Jahed (PhD), Majid Babaei (PhD), Michal Pasternak (MSc), and Madiha Kazmi (MSc).

Former visitors, postdocs and graduated students: Sudharshan Gopikrishnan (MSc), Kanchan Nair (MSc), Dr. Nicolas Hili (PDF), Harshith Vasanth Gayathri (MSc), Francis Atampore (PhD, jointly with Dr Karen Rudie), Tuhin Kanti Das (PhD), Dr. Amal Khalil (PDF), Dr. Raquel Oliveira (Visitor), Nondini Das (MSc), Suchita Ganesan (MSc), Laith (Leo) Juwaidah (MSc), Boris Madzar (MSc), Md Tawhid Bin Waez (PhD, jointly with Dr Karen Rudie), Dr. Jalil Boudjadar (PDF), Gehan M.K. Selim (PhD and PDF, jointly with Dr Jim Cordy), Dr. Ernesto Posse (PDF), Karolina Zurowska (PhD and PDF), Keith Yip (MSc), Eyrak Paen (MSc), Eric Rapos (MSc), Miloud Eloumri (MSc), Rezoanoor (Ruben) Rahman (MSc), Ahmad Saifan (PhD), Yann Moffett (MSc, jointly with Dr Alain Beaulieu), Anthony Auer (MSc, jointly with Dr Karen Rudie), Dr. Zinovy Diskin (PDF), Hongzhi Liang (PhD), Michelle Crane (PhD), Chris Dragert (MSc, jointly with Dr Karen Rudie), Jeremy Bradbury (PhD, jointly with Dr Jim Cordy), Barry (Tao) Long (MSc, jointly with Dr Nick Graham), Alanna Zito (MSc), Ruhai Cai (MSc), Dan Yau (MSc, jointly with Dr Jim Cordy), Jesse McGeachie (MSc), Hongzhi Liang (MSc), Natalie Bowles (MSc), Michelle Crane (MSc), Songhui Zhu (MSc), Jeremy Bradbury (MSc).

Undergraduate projects (CISC499): Please go here for this year's project suggestions.

MSc thesis topics: There's lots of interesting work to be done and I typically have a wide range of project ideas for people to work on. Projects are likely to be related to our current research work. Please talk to me about the details.

Teaching

Courses in Fall/Winter 2018/19:

Formal Methods in Software Engineering (CISC/CMPE 422, CISC 835).
Advanced Undergraduate Project (CISC 499).
Beyond Code: An Introduction to Model-Driven Software Development (CISC 836).

Office hours: By appointment

Past courses: A list can be found here.

Service

Some current external activities

* Editorial board member for SoSyM and STTT.
* Steering Committee Chair of MODELS conference series.
* Interim Co-chair of Research and Academic Committee of Eclipse Papyrus Industrial Consortium.
* PC member for 6th International Conference on Formal Methods in Software Engineering (FormaliSE'18). Gothenburg, Sweden. June 2, 2018.
* PC member for 6th International Conference ASM, Alloy, B, TLA, VDM, Z (ABZ'18). Southampton, UK. June 5-8, 2018.
* PC member for 1st International Workshop on Robotics Software Engineering (RoSE'18). May/June 2018.
* PC member for 10th Workshop on Modeling in Software Engineering (MiSE'18). Gothenburg, Sweden. May 2018.
* PC member for 11th International Conference Graph Transformation (ICGT'18). Toulouse, France. June 25-28, 2018.
* PC member for 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun'18). Toulouse, France. June 28, 2018.
* PC member for 11th International Conference Model Transformation (ICMT'18). Toulouse, France. June 25-28, 2018.
* PC member for 2nd International Workshop on Debugging in Model-Driven Engineering (MDEbug'18). Copenhagen, Denmark. Oct 16, 2018.
* PC member for 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT'18). Copenhagen, Denmark. Oct 14-19, 2018.
* PC member for 4th International Workshop on Executable Modeling (EXE'18). Copenhagen, Denmark. Oct 14, 2018.
* Co-organizer for 2nd International Workshop on Model-Driven Engineering Tools (MDETools'18). Copenhagen, Denmark. Oct 15, 2018.
* PC member for 10th System Analysis and Modeling Conference (SAM'18). Copenhagen, Denmark. Oct 15-16, 2018.
* PC member for ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS'18), Foundations Track, Tutorial Track, and Educators Symposium. Copenhagen, Denmark. Oct 14-19, 2018.
* PC member for 28th Annual International Conference on Computer Science and Software Engineering (CASCON'18). Toronto, Canada. Oct 29-31, 2018.
* PC member for ACM SIGPLAN International Conference on Software Language Engineering (SLE'18). Boston, USA. Nov 5-6, 2018.

Past external activities: A partial list can be found here.

Last modified: Tue Jun 12 16:29:10 EDT 2018