Benet Devereux

Benet, in Vernazza, Italy, April 2001 -- photo by John Hatcliff, KSU

Biographical Sketch

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.

Research

Teaching

Past:
Last update: February 4th, 2004