X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ef72be3ee52390f8929973262b4c1a114c828b04..60d1cae9374d09398e12f0b6239092e4d0b3eb76:/index.html?ds=inline diff --git a/index.html b/index.html index 3df0293..978578c 100644 --- a/index.html +++ b/index.html @@ -11,34 +11,56 @@ -
-

bandali's

-

corner on the interwebs

-
-
-

academia

-
+
+
+

bandali

+

my corner of the interwebs

+
+
+

+ Hi, I’m + Amin Bandali, + often just bandali around the web. +

+
+

Academia

+
-
-
-
-

personal

-
+

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

+ +