bandali's
+corner on the interwebs
+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 | -
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. -
-
- 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.
+ hi, i'm
+ amin bandali,
+ often just bandali around the web.
- You may wish to view my academic curriculum vitae. -
-Publications
- -academia
Presentations
--
-
- Will be added soon. - -
+ i'm a graduate student at watform + at university of waterloo, supervised by + dr. nancy day. + my research at watform focuses on formal logic, model + checking, and verification. see my research interests link + above for more details. +
personal
Writings
--
-
- Will be added soon. - -
+ iâm a free software + and copyleft activist, + an fsf associate member, + and a gnu webmaster + and volunteer. i co-host the emacs.el podcast, + and i'm organizing emacsconf 2019 this fall. +