X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/4ad3138c4814ad02d9101676e95d436adb00818d..b7583bc7e5068ef6557b6dafdfbb97c99736af21:/index.html?ds=inline diff --git a/index.html b/index.html index 2bdb4b8..2a26b37 100644 --- a/index.html +++ b/index.html @@ -13,52 +13,57 @@
-

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

+

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