X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/9998ccd03444e45e42238fa7e01099da1d5a6247..cc996fd29fdce36be099c1c832b4d005ca12efcd:/index.html diff --git a/index.html b/index.html index e0efc13..46b9dc3 100644 --- a/index.html +++ b/index.html @@ -13,29 +13,53 @@
-

bandali's

-

corner on the interwebs

+

bandali’s

+

Corner on 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. +