X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/4ad3138c4814ad02d9101676e95d436adb00818d..7909a222e5392db059f5523290483349de615009:/index.html?ds=inline diff --git a/index.html b/index.html index 2bdb4b8..1888e27 100644 --- a/index.html +++ b/index.html @@ -1,66 +1,80 @@ - + - - - - Amin Bandali's Personal Site - - - - -
-
-

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

-
-
- + + + + +bandali's personal site + + + + + + + + +

bandali's personal site

+ + +

I am a free +software activist and computing +scientist. I'm a GNU maintainer +of Jami +and GNU IceCat. +I also wear a few other hats around GNU, including helping run the +Savannah forge for GNU and non-GNU software as a Savannah hacker, and +serving as an assistant GNUisance.

+ +

notes

+

Here are notes and writings about topics or issues I care about, +which you can also read via Atom +or RSS feeds.

+ + + +
+
+Copyright © 2012–2021 bandali +

Copying and distribution of this file, with or without +modification, are permitted in any medium without royalty provided the +copyright notice and this notice are preserved. This file is offered +as-is, without any warranty.

+
+