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 Prof. Nancy Day, with the -main goal of 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.
+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 +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. +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,
-webmaster,
-and Savannah
-hacker; and an associate
+ 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 + | My internship with the FSF tech team and beyond +(concluding) | +December 18, 2020 | +
| Internship with the FSF tech team (intro) | May 29, 2020 |