Nancy Day -

Registered user since Tue 14 Nov 2017

Name:Nancy Day

Country:Canada

Affiliation:University of Waterloo, Canada

Personal website:https://cs.uwaterloo.ca/~nday/

Research interests:formal methods; MDE; safety

Contributions

FormaliSE 2022	Committee Member in Program Committee within the FormaliSE 2022-track
FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track
Requirements Engineering 2021	Author of Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems within the Workshops-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019	Session Chair of Session 2 (part of FormaliSE 2019) Program Co-Chair in Program Chairs within the FormaliSE 2019-track
FormaliSE 2018	Committee Member in Program Committee within the FormaliSE 2018-track