Hello there,

Amin Bandali

I’m a graduate student in the WatForm group at University of Waterloo, supervised by Dr. Nancy Day. I’m interested in using formal methods, especially type systems, to help make software more reliable.

Publications

  • A comparison of the declarative modelling languages B, Dash, and TLA+ (pdf, bib, models)

    Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna. In International Workshop on Model-Driven Requirements Engineering (MoDRE) @ IEEE International Requirements Engineering Conference (RE). To appear, 2018.

Talks & presentations

  • TODO

Recent writings & essays