bandali's
-corner on the interwebs
+bandali
+my corner of the interwebs
academia
+
+ Hi, Iâm
+ Amin Bandali,
+ often just bandali
around the web.
+
Academia
+ 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
+Personal
+ 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. +