Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Teaching

Here is a list of courses that I have taught at University of Waterloo:
  • SE212 - Logic and Computation
  • CS116 - Introduction to Computer Science 2
  • CS745 - Computer-Aided Verification (grad course)
  • CS445/SE463 - Software Requirements and Specification
  • CS245 - Logic and Computation
  • SE112 - Logic and Computation (now renumbered SE 212)

David R. Cheriton School of Computer Science, University of Waterloo

Last modified on Monday 24th of July 2017 02:55:22 PM