Professor; School of Computing
Queen’s University
99 University Ave, Kingston, ON K7L 3N6
Labs/Research Centers
Modeling and Analysis in Software Engineering (MASE) Group
GM R&D Centre (Warren, MI)
Areas of Expertise
Software engineering, software modeling, software analysis, model-driven engineering, software quality assurance, formal specification and verification, formal methods, safety, model-based systems engineering, assessing how the correctness, reliability, safety and security requirements expressed in development standard (i.e., ISO 26262) can be ensured and demonstrated.
dingel@queensu.ca