I am a Ph.D. student in the Department of Computer Science at the University of Toronto, in the city of Toronto, Ontario, Canada. My supervisors are Marsha Chechik and Steve Easterbrook. My research is in the general area of formal methods in software. I obtained my M.Sc. here in 2001, supervised by Marsha and by E.C.R. Hehner, and my B.Sc. at the Computer Science Department of the University of Western Ontario in 1999.
Here are some of my own personal Frequently Asked Questions.