Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo


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 Friday 5th of January 2024 12:14:24 PM