Juergen Dingel

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

Brief 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. He is on the editorial board of Software and Systems Modeling (SoSyM) and was the PC Co-chair of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11). At Queen's, he 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.

Description and research projects: Please see the pages of our Modeling and Analysis in Software Engineeing (MASE) group which is part of the Software Technology Lab (STL).

Selected publications: Can be found here.

Supervision

Current students: Karolina Zurowska (PhD), Tawhid Bin Waez (PhD, jointly with Dr Karen Rudie), Gehan Selim (PhD, jointly with Dr Jim Cordy), Amal Khalil (PhD), Eyrak Paen (MSc), Nick Chausse (MSc), Eric Rapos (MSc), Mark Fischer (MSc), Keith Yip (MSc).

Graduated students: Miloud Elmouri (MSc), Rezoanoor (Ruben) Rahman (MSc), Ahmad Saifan (PhD), Yann Moffett (MSc, jointly with Dr Alain Beaulieu), Anthony Auer (MSc, jointly with Dr Karen Rudie), 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 2011/12:

Models in Software Development: Methods, Techniques, and Tools (CISC 836).
Formal Methods in Software Engineering (CISC 422).
Information Technology Project (CISC 498).
Advanced Undergraduate Project (CISC 499).

Past courses: A list can be found here.

Service

Some current external activities

* Editorial board member for SoSyM.
* Member of Steering Committee for FMOODS/FORTE (2011-2014).
* PC member for ICST'12. April 17-21, 2012.
* PC member for FMOODS-FORTE'12 as part of DisCoTec'12. June 2012.
* PC member for FormSERA'12 as part of ICSE'12. June 2, 2012.
* PC member for ABZ'12. June 18-22, 2012.
* PC member for MODELS'12. Sept. 30 - Oct. 5, 2012.
* Co-organizer for AMT'12. Oct., 2012.
* PC member for FASE'13 as part of ETAPS'13, March 2013.

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

Last modified: Tue Apr 17 23:27:43 EDT 2012