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 2020PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019Session Chair of Session 2 (part of FormaliSE 2019)
Program Co-Chair in Program Chairs within the FormaliSE 2019-track
FormaliSE 2018Committee Member in Program Committee within the FormaliSE 2018-track