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