From 35cf61e5ebc8e561d2ec022c1cd938ba226226f9 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 7 Nov 2020 20:20:34 -0500 Subject: [PATCH 1/1] mention my employment at SFL --- GNUmakefile | 4 ++-- index.m4 | 14 ++++++++++++-- 2 files changed, 14 insertions(+), 4 deletions(-) diff --git a/GNUmakefile b/GNUmakefile index fb9fc11..3f2c9be 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -24,8 +24,8 @@ clean: rm -rf out/ deploy: - rsync -avzLP out/ abandali@bndl.org:www/site/ - ssh abandali@bndl.org mv www/site/.htaccess-www www/.htaccess + rsync -avzLP out/ abandali@bndl.org:www/bndl.org/ + ssh abandali@bndl.org mv www/bndl.org/.htaccess-www www/.htaccess watch: while true; do \ diff --git a/index.m4 b/index.m4 index 2a9ef01..3767710 100644 --- a/index.m4 +++ b/index.m4 @@ -11,13 +11,23 @@ activist and a computing scientist. I graduated from the University of Waterloo with a Master of Mathematics degree in Computer Science, where I did research in formal logic, model checking, and verification supervised -by Prof. Nancy Day. The main -goal of my research is improving software and systems +by Prof. Nancy Day, with the +main goal of improving software and systems reliability through application of formal methods. My research areas of interest include programming languages, proof assistants, and their type systems.

+I am currently employed +by Savoir-faire Linux as a +Free Software Consultant, where I get to hack on various parts +of Jami, work with the maintainers of Jami +packages in various GNU/Linux distributions like Debian and Trisquel +to help keep up-to-date the version of Jami available in the official +repositories of those distributions, and generally serve as a +community liaison between the Jami core development team and the wider +free software community around Jami. +

On the side, I enjoy hacking on elisp -- 2.20.1