X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1..54623ca8934a3dbca76b3f77878cec9f25ae5f2a:/index.m4
diff --git a/index.m4 b/index.m4
index 4263196..76414b1 100644
--- a/index.m4
+++ b/index.m4
@@ -11,18 +11,30 @@ 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 Dr. 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. To be sure, the views or
+opinions expressed on this site are solely my own, and do not
+necessarily represent those of my employer or anyone else.
+
On the side, I
enjoy hacking
on elisp
and guile. I'm a
-GNU maintainer,
+GNU maintainer,
webmaster,
and Savannah
hacker; and an associate