dnl -*- html -*- define(__title, `Amin Bandali''`s Personal Site')dnl define(__slug, `home')dnl define(__nts)dnl include(header.html)

Hi, I'm Amin. I am currently a graduate student at the Waterloo Formal Methods group at the University of Waterloo, supervised by 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 am also interested in programming languages, proof assistants, and their type systems.

On the side, I enjoy hacking on elisp and guile. I am a GNU maintainer, webmaster, and Savannah hacker. I am also a free software activist, and an associate member of the Free Software Foundation. I'm the chief organizer of the EmacsConf conference, and the co-host of the Emacs.el podcast with Daniel Gopar. I am also a member of the Systems Committee of the Computer Science Club of the University of Waterloo.

Papers

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.

Talks

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

Projects

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

george-mode
Emacs major mode for editing George files
alloy-catalyst
Framework for performance analysis of Alloy models
unitb-web
Web interface for Unit-B
tex2png-hs
Library and CLI for converting TeX and LaTeX to PNG images

Notes

Here are notes about a variety of topics and issues I care about.
They are also available via subscribe to Atom feedAtom and subscribe to RSS feedRSS feeds.

How I do my Computing September 14, 2019
Arch GNU/Linux on MacBook Air 2013 November 1, 2016
define(__copy, `2016–2019')dnl include(footer.html)