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.
Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna. In 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE).
Talks & presentations