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