| | 1 | dnl -*- html -*- |
| | 2 | define(__title, `Bandali''`s Personal Site')dnl |
| | 3 | define(__slug, `home')dnl |
| | 4 | define(__nts)dnl |
| | 5 | include(header.html)dnl |
| | 6 | |
| | 7 | <section id="intro" class="justify"> |
| | 8 | <p>Hi, I'm bandali. I am |
| | 9 | a <a href="//www.gnu.org/philosophy/free-sw.html">free software</a> |
| | 10 | activist and a computing scientist. I graduated from the University |
| | 11 | of Waterloo with a <a href="/mmath">Master of Mathematics</a> degree |
| | 12 | in Computer Science, where I did research in formal logic, model |
| | 13 | checking, and verification supervised |
| | 14 | by <a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>. The main |
| | 15 | goal of my research is improving <strong>software and systems |
| | 16 | reliability</strong> through application of |
| | 17 | <a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>. |
| | 18 | My research areas of interest include programming languages, proof |
| | 19 | assistants, and their type systems.</p> |
| | 20 | |
| | 21 | <p>On the side, I |
| | 22 | enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a> |
| | 23 | on <a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a> |
| | 24 | and <a href="//www.gnu.org/software/guile/">guile</a>. I'm a |
| | 25 | GNU <a href="//www.gnu.org/people/people.html#bandali">maintainer</a>, |
| | 26 | <a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>, |
| | 27 | and <a href="//savannah.gnu.org/maintenance/SavannahHacker/">Savannah |
| | 28 | hacker</a>; and an <a href="//www.fsf.org/associate/">associate |
| | 29 | member</a> of the Free Software Foundation (FSF). I'm currently the |
| | 30 | chief organizer of the <a href="//emacsconf.org">EmacsConf</a> |
| | 31 | conference, and the co-host of |
| | 32 | the <a href="//emacsel.com">Emacs.el</a> podcast with |
| | 33 | <a href="//www.pygopar.com">Daniel Gopar</a>. I am also a member of |
| | 34 | the Systems Committee of the |
| | 35 | <a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the |
| | 36 | University of Waterloo.</p> |
| | 37 | |
| | 38 | <p>Starting in spring 2020, I am an intern with the FSF tech team.</p> |
| | 39 | </section> |
| | 40 | |
| | 41 | <section id="notes" class="justify"> |
| | 42 | <h2>Notes</h2> |
| | 43 | <p>Here are notes about a variety of topics and issues I care about. |
| | 44 | They're also available via |
| | 45 | <a href="notes.atom"> |
| | 46 | <img class="feed-icon" src="icon-12px.png" |
| | 47 | alt="subscribe to Atom feed">Atom</a> |
| | 48 | and |
| | 49 | <a href="notes.rss"> |
| | 50 | <img class="feed-icon" src="icon-12px.png" |
| | 51 | alt="subscribe to RSS feed">RSS</a> feeds.</p> |
| | 52 | |
| | 53 | <table class="post-list"> |
| | 54 | <tbody> |
| | 55 | <tr> |
| | 56 | <td><a href="fsf-internship/intro">Internship with the FSF tech team</a> |
| | 57 | (intro)</td> |
| | 58 | <td><small>May 29, 2020</small></td> |
| | 59 | </tr> |
| | 60 | <tr> |
| | 61 | <td><a href="computing">How I do my Computing</a></td> |
| | 62 | <td><small>September 14, 2019</small></td> |
| | 63 | </tr> |
| | 64 | <tr> |
| | 65 | <td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td> |
| | 66 | <td><small>November 1, 2016</small></td> |
| | 67 | </tr> |
| | 68 | </tbody> |
| | 69 | </table> |
| | 70 | </section> |
| | 71 | |
| | 72 | define(__copy, `2016–2020')dnl |
| | 73 | include(footer.html)dnl |
projects / ~bandali / bndl.org / blame_incremental