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.
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