Lab directory
Prof. Nancy Day — Research Profile
University of Waterloo · David R. Cheriton School of Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
Prof. Nancy Day at University of Waterloo David R. Cheriton School of Computer Science lists Software engineering, formal methods, requirements modeling as their registered research area.
Research keywords
Software engineeringformal methodsrequirements modeling
Other labs in this department
- Ali José Mashtizadeh 교수 연구실
Operating systems, distributed systems, storage
- Anamaria Crisan 교수 연구실
Human-centered AI, data visualization, healthcare data science
- Bin Ma 교수 연구실
Bioinformatics, protein sequencing algorithms
- Charles Clarke 교수 연구실
Search, information retrieval, data science
- Christopher Batty 교수 연구실
Computer graphics, physics-based simulation
- Craig S. Kaplan 교수 연구실
Computational geometry, computer graphics, mathematics in art