Contact

email projects
academic abandali@uwaterloo.ca git.uwaterloo.ca/abandali
personal amin@shemshak.org git.shemshak.org/amin
gnu mab@gnu.org sv.gnu.org/u/bandali

See contact for more, and gpg for sending me encrypted mail.

Research interests

The main goal of my research is improving software reliability through application of formal methods.

My current research at WatForm focuses on formal logic, model checking, and verification. Specifically, I am working on various optimizations aiming to improve the analysis performance of the Alloy Analyzer on models.

I am also interested in programming languages, type systems, and interactive theorem proving.

You may wish to view my academic curriculum vitae.

Publications

A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ (pdf, bib, doi, models)
Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna
2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)

Presentations

The Magic of Specifications and Type Systems
Amin Bandali, Simon Hudon, Jonathan Ostroff
Slides presented at CUCSC 2017, University of Toronto, Canada, June 15-17, 2017.
Poster presented at Lassonde USSR Conference, York University, Toronto, Canada, August 15, 2017.

Writings

Will be added soon.

Other interests

On the side, I dabble in Lean and enjoy hacking on Emacs Lisp. I’m also a free software and copyleft activist, a volunteer webmaster for the GNU project, and a co-host of the Emacs.el podcast.