Overview
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 small part I played in helping to automate the systematic design verification of safety critical software on that project, I was a co-recipient of an Ontario Hydro New Technology award. My research interests fall under the general headings of Software Engineering and Control of Discrete Event Systems (DES), in particular Software Certification, Formal Methods for Real-Time Systems (synthesis, verification, and model reduction), practical application of formal methods in the software engineering process, computer aided inspection, and supervisory control of modular, nondeterministic and probabilistic DES, and hybrid systems.
I am a licensed Professional Engineer in the province of Ontario and a Senior Member of the IEEE.
