Bandali's Personal Site

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. The main goal of my research is 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 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.

Starting in spring 2020, I am an intern with the FSF tech team.


Here are notes about a variety of topics and issues I care about. They're also available via subscribe to Atom feedAtom and subscribe to RSS feedRSS feeds.

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