X-Git-Url: http://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/127617a6b45979c4634530c801346cd6f4e19051..e080516ce6defaf997bcc5b54bf380044c65ebd2:/index.html?ds=inline diff --git a/index.html b/index.html index c04a655..2a26b37 100644 --- a/index.html +++ b/index.html @@ -13,12 +13,12 @@
-

bandali's

-

Corner on the interwebs

+

bandali

+

my corner of the interwebs

- Hi, I'm + Hi, I’m Amin Bandali, often just bandali around the web. @@ -30,11 +30,11 @@

- I'm a graduate student at WatForm + 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 @@ -58,7 +58,12 @@ 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. + and I’m organizing EmacsConf 2019 this fall. +

+

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