X-Git-Url: http://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/9998ccd03444e45e42238fa7e01099da1d5a6247..cfe6a758127c1ee27e6b287724234518a83e653e:/index.html?ds=inline diff --git a/index.html b/index.html index e0efc13..2a26b37 100644 --- a/index.html +++ b/index.html @@ -13,29 +13,58 @@
-

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

+

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