X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1..dcc71b98fdb8c653c2edeb9994d26d38003f4116:/index.m4?ds=sidebyside
diff --git a/index.m4 b/index.m4
index 4263196..23c4639 100644
--- a/index.m4
+++ b/index.m4
@@ -6,36 +6,46 @@ include(header.html)dnl
Hi, I'm bandali. I am
-a free software
-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
+a free
+software 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, 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.
On the side, I
-enjoy hacking
-on elisp
-and guile. I'm a
-GNU maintainer,
-webmaster,
-and Savannah
-hacker; and an associate
+ 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
+Emacs
+Lisp. I'm a GNU
+maintainer,
+webmaster,
+and Savannah
+hacker; and an associate
member of the Free Software Foundation (FSF). I'm currently the
-chief organizer of the EmacsConf
-conference, and the co-host of
-the Emacs.el podcast with
-Daniel Gopar. I am also a member of
+chief organizer of the EmacsConf
+conference, and the co-host of the
+Emacs.el podcast with
+Daniel Gopar. I am also a member of
the Systems Committee of the
-Computer Science Club of the
+Computer Science Club of the
University of Waterloo. Starting in spring 2020, I am an intern with the FSF tech team.
-
Internship with the FSF tech team
+ Internship with the FSF tech team
(intro)
May 29, 2020