Mark Lawford


+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

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

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