Benet Devereux

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

• My publications to date

Teaching

• Fall 2003, Course Instructor, COSC3341 (Introduction to Program Verification), York University
• Fall 2002, TA, CSC300 - Computers and Society
• Fall 2001: TA, CSC300 - Computers and Society
• Winter 2001: TA, ECE450 - Software Engineering II
• Fall 2000: TA, CSC300 - Computers and Society
• Winter 2000: TA, ECE450 - Software Engineering II
• Fall 1999: TA, CSC342 - Programming Languages