X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/1c986cd7696871d5691aec94d1c18896297aae8d..7b376474f6dabd5bd525d49b5d333fa18c8e897a:/index.html diff --git a/index.html b/index.html index ce6d533..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.

+ +

LibrePlanet 2021: Jami and how it +empowers users (March 20, 2021)
My internship with the FSF +tech team and beyond (December 18, 2020)
Internship with the FSF tech +team (May 29, 2020)
How I do my Computing +(September 14, 2019)

+ +

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.