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

Media Relations
University of Waterloo
media.relations@uwaterloo.ca