Nancy Day

Photo of Nancy Day

Associate Professor Faculty of Mathematics David R. Cheriton School of Computer Science Waterloo, Ontario nday@uwaterloo.ca Office: (519) 888-4451

Expert In

Automated formal methods tools Correct system behaviour Interactive formal methods tools

Links

Faculty Page Personal Site

Media Relations

Rebecca (Becky) Elming
Director, Media Relations and Issues Management
(647) 459-8313
relming@uwaterloo.ca