Embedded Software; Hazard & Safety Analysis
Dr. Day is an Associate Professor in the David R. Cheriton School of Computer Science at the University of Waterloo. She is also a founding member of the Waterloo Formal Methods (WatForm) research group and a member of the Software Engineering Lab.
Research Expertise
- Development of automated and interactive formal methods tools
- Formal methods of system analysis
- Hardware verification
- Requirements specification and analysis
- Software Engineering
- System safety
Waterloo Formal Methods (WatForm)
Contact Information:
- nday@uwaterloo.ca
- 519-888-4567 ext 35321