I’m Amin Bandali (often
aminb on the interwebs). I’m
currently a graduate student in the WatForm group at University of
Waterloo, supervised by Nancy Day. My current research focuses on
formal logic, model checking, and verification. On the side, I also
dabble in Lean and Rust, and I enjoy hacking on Elisp.
Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna. In 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE).
Talks & presentations