X-Git-Url: http://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ef72be3ee52390f8929973262b4c1a114c828b04..cfe6a758127c1ee27e6b287724234518a83e653e:/index.html?ds=inline diff --git a/index.html b/index.html index 3df0293..2a26b37 100644 --- a/index.html +++ b/index.html @@ -11,34 +11,61 @@ -
-

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

+

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

+ +