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.

On the side, I dabble in Lean and enjoy hacking on Elisp. I’m a Free Software activist, a GNU maintainer and webmaster, and an associate member of the FSF. 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 CSC.

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, 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 S. 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


Here are notes about a variety of topics and issues I care about. They’re also available via subscribe to atom feedAtom and subscribe to rss feedRSS feeds.

How I do my Computing2019-09-14
Arch GNU/Linux on MacBook Air 20132016-11-01