Dr. Tom Maibaum, Canada Research Chair in Foundations of Software Engineering, is a world-leading researcher in software engineering, with extensive experience in formal specification, formal methods, component-based development, and model-driven development.

tom at maibaum.org

  • Dr. Alan Wassyng combines wide engineering experience, including working on the Darlington nuclear power station shutdown system, with his academic interest in using formal techniques to prove that software meets its requirements. wassyng at mcmaster.ca
  • Dr. Tom Maibaum, Canada Research Chair in Foundations of Software Engineering, is a world-leading researcher in software engineering, with extensive experience in formal specification, formal methods, component-based development, and model-driven development. tom at maibaum.org