Juergen DingelAssociate Professor
|
|
Juergen joined the Computing faculty in the winter of 2000.
He received a M.Sc. in Computer Science from
Berlin University of Technology
in 1992, a M.Sc. in Pure and Applied Logic in 1994 and a Ph.D.
in Computer Science in 1999 from
Carnegie Mellon
University. His Ph.D. dissertation research focused on the formal
development of parallel programs.
Before joining Queen's University he was postdoctoral fellow in the
ABLE group at Carnegie
Mellon where he worked on formalizing aspects of software architecture and
an extension of the
High-Level Architecture
(HLA).
He has also held research positions at
Oldenburg University
and at SIEMENS Corporate Research in Germany and spent a
year at Imperial College
in London, England, funded by the
German Academic
Exchange Service (DAAD).
Juergen's research interests lie primarily in
formal methods
and formal software engineering.
As our dependency on computers grows, the
software they run is becoming more complex.
Unfortunately, our ability to control the complexities
of software and of software design effectively
and efficiently is lagging far behind.
Consequently, both the likelihood of errors and
their potential damage increases.
More research is needed to make today's and tomorrow's software systems
less costly, and yet more reliable, reusable, and secure.
Formal methods offer concepts, methods, and tools that are
firmly grounded in mathematics and aim at specifying,
analyzing and verifying program behaviour.
Juergen's research interests span the theory and application
of formal methods to the design, analysis and verification
of complex software systems.
Current:
Ahmad Saifan (PhD), Karolina Zurowska (PhD),
Tawhid Bin Waez (PhD, jointly with Dr Karen Rudie),
Miloud Elmouri (MSc),
Anthony Auer (MSc, jointly with Dr Karen Rudie),
Rezoanoor (Ruben) Rahman (MSc), Eyrak Paen (MSc).
Graduated: 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)
Please go here for this
year's project suggestions. I'm looking for students
to help us with our research work with IBM, so please
come and talk to me if you think you might interested.
There's lots of interesting work to be done and I typically have a wide
range of project ideas for people to work on. In the past, most of
my MSc projects allowed students to combine foundational/formal
research with practical implementation work. However, I also
welcome purely theoretical projects. Please talk to me about
the details.
Fall 2009:
Models in Software Development: Methods, Techniques, and Tools
(CISC 836).
Past:
Formal Methods in Software Engineering
(CISC 422/853).
Winter 2009.
Introduction to the Computer Aided Verification of Software Systems (CISC 853). Fall 2004, Winter 2006, Fall 2006, Fall 2007.
Introduction to the Automatic Analysis of Software Artifacts (CISC 835). Fall 2000, Fall 2001, Fall 2002, Fall 2003.
Formal Methods in Software Engineering (CISC422). Winter 2001, Winter 2002, Winter 2003, Winter 2004, Winter 2005, Fall 2006, Winter 2008.
Introduction to Software Engineering (CISC323). Winter 2003, Winter 2004, Winter 2005.
Information Technology Project (CISC498). Fall 2002/Winter 2003,
Fall 2003/Winter 2004, Fall 2004/Winter 2005.
Advanced Undergraduate Project (CISC499).
Winter 2001, Winter 2002, Winter 2003, Winter 2005, Winter 2008
Information Structures (CISC 235). Winter 2000, Winter 2001, Winter 2002.
Can be found here
Our Applied Formal
Methods Group (AFMG)
discusses research specifically related to formal methods.
The AFMG is part of the
Software Technology Lab (STL)
which encompasses all faculty and students at Queen's with research
interests related to software. The STL has a popular
seminar
series which I coordinate.
Send me email if you want to get on the mailing list
for the seminar or want to give a talk.
Current:
Editorial board member for Software and Systems Modeling
(SoSyM)
PC member for International Conference on Alloy, ASM, B, and Z
(ABZ 2010).
Orford, Quebec, February 2010.
PC member for IEEE International Conference on Engineering of Complex
Computer Systems
(ICECCS 2010).
St Anne's College, University of Oxford, United Kingdom, 24-26 March 2010.
PC member for International Conference on Software Testing,
Verification, and Validation
(ICST 2010).
Paris, France, April 2010.
PC member for the International Conference on Formal Methods for
Open Object-based Distributed Systems and the
International Conference on Formal Techniques
for Networked and Distributed Systems
Verification, and Validation
(FMOODS/FORTE 2010).
Amsterdam, June 7 - 9, 2010.
PC member for the Sixth European Conference on
Modelling Foundations and Applications
( ECMFA'10).
Paris, June 15 - 18, 2010.
PC member for ACM/IEEE 13th International Conference on
Model Driven Engineering Languages and Systems
(MoDELS '10).
Oslo, October 2009.
Recent past:
Chair of Doctoral Symposium of ACM/IEEE 12th International Conference on
Model Driven Engineering Languages and Systems
(MoDELS'09).
Denver, October 4-9, 2009.
PC member for ACM/IEEE 12th International Conference on
Model Driven Engineering Languages and Systems
(MoDELS '09).
Denver, October 2009.
PC member for the 2009 International Conference on Software Testing
and Analysis (ISSTA'09).
Chicago, July 19-23, 2009.
PC member for Fifth European Conference on Model-Driven Architecture
Foundations and Applications
(ECMDA'09).
Twente, The Netherlands, June 23-26, 2009.
PC member for 12th International Conference on Fundamental
Approaches to Software Engineering
(FASE '09).
York, UK. March 2009.
PC member for International Conference on Software Engineering Advances
(ICSEA'08).
Malta. October 2008.
PC member for ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems
(MoDELS '08).
Toulouse, September/October 2008.
PC member for 4th European Conference on Model-Driven Architecture
(ECMDA '08).
Berlin, June 2008.
Expert-Review Panel member for International Conference on
Automated Software Engineering
(ASE'07).
Atlanta, Georgia. Novmember 2007.
PC member for International Conference on Software Engineering Advances
(ICSEA'07).
France. August 2007.
PC member for the 12th IEEE International Conference on Engineering Complex
Computing Systems
(ICECCS'07)
to be held at The University of Auckland, New Zealand, July 10 - 14, 2007.
PC member for the Inaugural International Conference on Distributed
Event-Based Systems
(DEBS'07).
Toronto, Canada, June 20-22, 2007.
PC member for 3rd European Conference on Model-Driven Architecture
(ECMDA '07). Haifa, June 2007.
PC member for 10th International Conference on
Fundamental Approaches to Software Engineering
(FASE'07).
Braga, Portugal. March 2007.
PC member for International Conference on Software Engineering Advances
(ICSEA'06).
Tahiti, French Polynesia. October 2006.
PC member for First International Workshop on Event-driven
Architecture, Processing and Systems
(EDA-PS '06). Chicago, USA. September 2006.
PC member for 2nd European Conference on Model-Driven Architecture
(ECMDA '06). Bilbao, July 2006.
PC member for 5th International Workshop on Distributed Event-Based
Systems (DEBS'06).
Lisbon, Portugal. July 2006.
Sponsorship chair for
14th International Symposium on Formal
Methods. McMaster University, Canada. 21 - 27 August 2006.
Co-organizer of
"A Formal
Semantics for UML2.0" Workshop
at the European Conference for Model-Driven Architecture (ECMDA)
in November 2005.
Co-chair of 4th International Workshop on Distributed Event-Based
Systems (DEBS'05)
on June 10, 2005.
Research Interests
Research Projects
A list of some of the projects that we are working
on can be found
here.
Funding for our work is provided by the
Ontario Centres of Excellence
(OCE) and IBM in the
context of the recently established
Centre of Excellence for Adaptive Systems (CERAS)
and by the
Natural Sciences and Engineering
Research Council of Canada (NSERC).
Students
Undergraduate Projects (CISC499)
MSc Thesis Topics
Courses
Selected Publications
Internal Activities
External Activities