Mark Lawford

Professor, Computing and Software

I joined the department in August 1998 as an Assistant Professor. My PhD was completed under the supervision of Prof. W.M. Wonham in the Systems Control group at the University of Toronto in February 1997. From March 1997 to July 1998 I was a contractor at Ontario Hydro performing Formal Verification of the Darlington Nuclear Generating Station Shutdown System Trip Computer Software. For the …