CS 798: Software Foundations

This is the homepage for CS 798 at the University of Waterloo (Fall 2018). Although this is a graduate course, undergraduates may take it with permission of the instructor and a CS advisor, and it may be used to fulfil undergraduate fourth-year course requirements.

Instructor: Prabhakar Ragde (plragde at uwaterloo dot ca),

Lectures: Tuesdays 2:30-3:50pm, Wednesdays 1:00-2:20pm, in DC 2585. Note that we have lectures on Thursday Oct 11 and Friday Oct 12, because the whole university is following a Tuesday and Wednesday schedule (respectively) on those two days, due to the Fall Break earlier that week. There will be no lectures on Oct 23 and Oct 24.

Office hours: Tuesdays 1-2pm, Wednesdays 2:30-3:30pm, or by appointment.