From: Amin Bandali Date: Sun, 8 Nov 2020 01:20:34 +0000 (-0500) Subject: mention my employment at SFL X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/35cf61e5ebc8e561d2ec022c1cd938ba226226f9?ds=inline;hp=2ff75a66b23f155cd79c1ef18a21244bf0eef841 mention my employment at SFL --- 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