Nancy Day, University of Waterloo

Profile photo of Nancy Day, expert at University of Waterloo

Associate Professor 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