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/libre +software activist and a computing scientist. I'm a GNU maintainer +of Jami +and GNU IceCat, +and wear a +few other hats around GNU as well: Savannah hacker/admin, +assistant GNUisance, GNU webmaster, etc.
-Research interests
-- The main goal of my research is improving - software reliability - through application of formal methods. -
+notes
+Here are notes about topics or issues I care about:
-- 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. -
+-
+
- My internship with +the FSF tech team and beyond +(18 December 2020) +
- Internship with the +FSF tech team (29 May 2020) +
- How I do my computing +(14 September 2019) +
- I am also interested in programming languages, type systems, and - interactive theorem proving. -
+The notes are also available via Atom +and RSS feeds.
-- 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. -
+talks
+Some of the talks and presentations I've given over the years:
-- You may wish to view my academic curriculum vitae. -
--
+
- LibrePlanet 2021: Jami +and how it empowers users (20 March 2021) +
- A Comprehensive Study of +Declarative Modelling Languages (30 June 2020) +
Publications
- - -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. - -