Mark Lawford

Director

+1 905 525 9140 x24911


Mark Lawford also worked on the Darlington shutdown system, and has a particular interest in the formal development of embedded systems. He is currently leading the “pacemaker challenge” for the correct development of software for heart pacemakers.

lawford at mcmaster.ca

Tom Maibaum


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

Alan Wassyng

+1 (905) 525-9140 x26072


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