X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/46e00845fab171c8a35b2455e60f59e51463ca3d..f8427a27606990d96e95fe65007c4b2f79118a17:/index.html?ds=sidebyside diff --git a/index.html b/index.html index 2a26b37..3910e55 100644 --- a/index.html +++ b/index.html @@ -1,71 +1,65 @@ - - - - - - Amin Bandali's Personal Site - - - - -
-
-

bandali

-

my corner of 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. -

-

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

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

bandali's personal site

+ + +

I am a +free/libre +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 about topics or issues I care about:

+ + + +

The notes are also available via Atom +and 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.

+