On this page:
CS 842:   Dependent Types and Software Verification
7.0

CS 842: Dependent Types and Software Verification

This is the homepage for CS 842 at the University of Waterloo (Fall 2019). 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 and Thursdays, 11:30am-12:50pm, DC 2568.

Office hours: Tuesdays 2pm-3pm, Thursdays 10am-11am. Temporary changes to these times will be announced on Piazza.

    1 For Prospective Students

    2 Assignments

    3 Handouts

    4 Logistics

    5 Marmoset

      5.1 Accessing Marmoset

      5.2 Submitting Assignments

    6 Resources