Contact
-- | projects | -|
---|---|---|
academic | -abandali@uwaterloo.ca | -git.uwaterloo.ca/abandali | -
personal | -amin@shemshak.org | -git.shemshak.org/amin | -
gnu | -bandali@gnu.org - | sv.gnu.org/u/bandali | -
- See contact for more, and gpg - for sending me encrypted mail. -
-Research interests
-- The main goal of my research is improving - software reliability - through application of formal methods. -
- -- My current research at WatForm - focuses on formal logic, model checking, and verification. - Specifically, I am working on various optimizations aiming to - improve the analysis performance of the Alloy Analyzer on - models. -
- -- I am also interested in programming languages, type systems, and - interactive theorem proving. -
- -- You may wish to view my academic curriculum vitae. -
-Publications
--
-
- - A Comparison of the Declarative Modelling - Languages B, Dash, and TLA+ - (pdf, - bib, - doi, - models) - -
- - Ali Abbassi, Amin Bandali, Nancy A. Day, - and Jose Serna - -
- - 2018 IEEE 8th International Model-Driven Requirements - Engineering Workshop (MoDRE) - -
Presentations
--
-
- - The Magic of Specifications and Type Systems - -
- - Amin Bandali, Simon Hudon, Jonathan Ostroff - -
- Slides - presented at - CUCSC 2017, - University of Toronto, Canada, June 15-17, 2017. - -
- - Poster presented at - Lassonde USSR Conference, - York University, Toronto, Canada, August 15, 2017. - -
Writings
--
-
- Will be added soon. - -
Other interests
-- On the side, I dabble in Lean - and enjoy hacking on - Emacs Lisp. - I’m also a free software - and copyleft - activist, a volunteer webmaster - for the GNU project, and a co-host of the Emacs.el podcast. -
-