Contact
-- | academic | -personal | -
---|---|---|
abandali@uwaterloo.ca | -bandali@gnu.org - (gpg) | -|
git repos | -git.uwaterloo.ca/abandali | -git.sr.ht/~bandali | -
other means | -see contact page | -
I am a free +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.
-Research interests
-- The main goal of my research is improving - software reliability - through application of formal methods. -
+notes
+Here are notes and writings about topics or issues I care about, +which you can also read via Atom +or RSS feeds.
-- 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. -
+-
+
- 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 interested in programming languages, type systems, and - interactive theorem proving. -
- -- On the side, I dabble in Lean - and Rust, 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. -
-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
--
-
- Will be added soon. - -
Writings
--
-
- Will be added soon. - -