bandali

Hi, I’m Amin Bandali, often just bandali around the web.

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.

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.

On the side, I dabble in Lean and enjoy hacking on Emacs Lisp.