|other means||see contact page|
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.
On the side, I dabble in Lean and enjoy hacking on Emacs Lisp. I’m also a free software and copyleft advocate, and a volunteer webmaster for the GNU project.
You may wish to view my academic curriculum vitae.
- 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)
- 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.
- Will be added soon.