Amin Bandali’s personal site

Graduate student at University of Waterloo supervised by Nancy Day

Contact

academic personal
email abandali@uwaterloo.ca bandali@gnu.org (gpg)
git repos git.uwaterloo.ca/abandali git.sr.ht/~bandali
other means see contact page

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.

On the side, I dabble in Lean and Rust, and enjoy hacking on Emacs Lisp. I’m also a free software and copyleft advocate, and a volunteer webmaster for the GNU project.

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

Will be added soon.

Writings

Will be added soon.