bandali's
-corner on the interwebs
+bandali
+my corner of the interwebs
- hi, i'm
+ Hi, Iâm
amin bandali,
+ title="photo of bandali with rms wearing a âpay cash donât be trackedâ pin">Amin Bandali,
often just bandali
around the web.
academia
+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 + 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. + 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.