X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ef72be3ee52390f8929973262b4c1a114c828b04..4ad3138c4814ad02d9101676e95d436adb00818d:/index.html diff --git a/index.html b/index.html index 3df0293..2bdb4b8 100644 --- a/index.html +++ b/index.html @@ -11,13 +11,21 @@ -

bandali's

corner on the interwebs

bandali's

corner on the interwebs

+ 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

- +

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

+ +