This profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a University of Waterloo directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $55,000
Discovering and Applying Patterns in Declarative Modelling and Verification
NSERC · 2024 · Principal investigator
- $217,000
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
NSERC · 2016 · Principal investigator
- $125,000
Abstraction in model-driven engineering
NSERC · 2010 · Principal investigator
Discovering and Applying Patterns in Declarative Modelling and Verification
Principal investigators: Day, Nancy
Keywords: software engineering; model-driven engineering; formal verification; model checking; declarative modelling; statecharts
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
Principal investigators: Day, Nancy
Abstraction in model-driven engineering
Principal investigators: Day, Nancy
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
Principal investigators: Maibaum, Thomas
Domain engineering of formal methods
Principal investigators: Day, Nancy
Multi-notation requirements specification and analysis
Principal investigators: Day, Nancy
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.