X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/4ad3138c4814ad02d9101676e95d436adb00818d..56af22d033482f66966fb7b8edc2bb18f2fec477:/index.html diff --git a/index.html b/index.html index 2bdb4b8..af68beb 100644 --- a/index.html +++ b/index.html @@ -1,66 +1,74 @@ - - - - - - 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/libre +software activist and a computing scientist. I'm a GNU maintainer +of Jami +and GNU IceCat, +and wear a +few other hats around GNU as well: Savannah hacker/admin, +assistant GNUisance, GNU webmaster, etc.

+ +

notes

Here are notes about topics or issues I care about:

+ +

My internship with +the FSF tech team and beyond +(18 December 2020)
Internship with the +FSF tech team (29 May 2020)
How I do my computing +(14 September 2019)

+ +

The notes are also available via Atom +and RSS feeds.

+ +

talks

Some of the talks and presentations I've given over the years:

+ +

LibrePlanet 2021: Jami +and how it empowers users (20 March 2021)
A Comprehensive Study of +Declarative Modelling Languages (30 June 2020)

+ +

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.