• Sign in
  • Sign up
conf.researchr.org / Nancy Day
  • * ICSE 2018 * profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • RE2021 profile
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
RE2021 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

Share
xSat 28 May 10:39
using conf.researchr.org (v1.55.6)
Support page
Sign Up