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

bandali's

-

corner on the interwebs

-
-
-

academia

-
+
+
+

bandali's

+

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

+ +