Amin Bandali

Hi, I’m Amin Bandali. I’m a graduate student at WatForm at University of Waterloo, supervised by Dr. Nancy Day. The main goal of my research is improving software and systems reliability through application of formal methods.

My research at WatForm focuses on formal logic, model checking, and verification. I’m also interested in programming languages, theorem provers, and their type systems. You may wish to view my academic curriculum vitae.

SE 212 students: see here for slides and other material from the tutorials.

On the side, I dabble in Lean and enjoy hacking on Elisp. I’m a Free Software activist and FSF supporter, and a GNU maintainer and webmaster. I co-host the Emacs.el podcast with Daniel Gopar, and organize EmacsConf with help from many wonderful people. I am also a member of the Systems Committee for the Computer Science Club of the University of Waterloo.

See my contact page for how to best reach me.


A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ [ pdf | bib ]
Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna
2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)
Copyright © 2018 IEEE. All Rights Reserved. Sadly.


The Magic of Specifications and Type Systems [ slides | poster ]
Amin Bandali, Simon Hudon, Jonathan Ostroff


Below are a number of free software projects I have worked on:

Emacs major mode for editing George files
Framework for performance analysis of Alloy models
Web interface for Unit-B
Library and CLI for converting TeX and LaTeX to PNG images