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 -reliability through application of -formal methods. -My research areas of interest include programming languages, proof -assistants, and their type systems.
+I'm a free software activist [1] and computing scientist [2]. +I'm a GNU maintainer of Jami [3] and GNUzilla and IceCat [4], +and I wear a few other hats around GNU, like helping run the +Savannah forge for GNU and non-GNU projects as a Savannah hacker. -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.
+[1]: https://www.gnu.org/philosophy/free-sw.html +[2]: https://bndl.org/mmath +[3]: https://jami.net +[4]: https://www.gnu.org/software/gnuzilla/ -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 -the Systems Committee of the -Computer Science Club of the -University of Waterloo.
-Here are notes about a variety of topics and issues I care about. -They're also available via - -Atom -and - -RSS feeds.
+Outside $dayjob, I enjoy hacking on [5] GNU Emacs and Emacs Lisp, and +doing a few things around the Emacs community such as maintaining the +ERC [6] IRC client built into GNU Emacs, organizing the EmacsConf [7] +conference, and hosting the Emacs.el [8] podcast with gopar. -Internship with the FSF tech team -(intro) | -May 29, 2020 | -
How I do my Computing | -September 14, 2019 | -
Arch GNU/Linux on MacBook Air 2013 | -November 1, 2016 | -