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

+ + + + +bandali's personal site + + + + + + + + +

bandali's personal site

+ -

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

I am a +free/libre +software activist and computing scientist. +I'm a GNU maintainer of Jami +and GNU IceCat. +I also wear a few other hats around GNU, including helping run the +Savannah forge for GNU and +non-GNU software as a Savannah hacker, and serving as an assistant +GNUisance.

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

notes

Here are notes about topics or issues I care about:

- 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. +

LibrePlanet 2021: Jami and +how it empowers users (March 20, 2021)
My internship with the +FSF tech team and beyond (December 18, 2020)
Internship with the FSF +tech team (May 29, 2020)
How I do my Computing +(September 14, 2019)

- I am also a member of the Systems Committee for the - Computer Science Club - of the University of Waterloo. -

The notes are also available via Atom +and RSS feeds.

- See my contact page for how to - best reach me. -

- -

Papers

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

- -

Talks

- The Magic of Specifications and Type Systems - - [ - slides - | - poster - ] - -: - Amin Bandali, - Simon Hudon, - Jonathan 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

- How I do my computing -

Copying and distribution of this file, with or without +modification, are permitted in any medium without royalty provided the +copyright notice and this notice are preserved. This file is offered +as-is, without any warranty.