Embedded Software; Hazard & Safety Analysis
Dr. Day is an Associate Professor in the David R. Cheriton School of Computer Science at the University of À¶Ý®ÊÓƵ. She is also a founding member of the research group and a member of the .
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
Ìý
Contact Information:
- nday@uwaterloo.ca
- 519-888-4567 ext 35321