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 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 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.
|My internship with the FSF tech team and beyond (concluding)||December 18, 2020|
|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|