whoops, forgot a dnl
[~bandali/bndl.org] / index.m4
CommitLineData
505a9419 1dnl -*- html -*-
0c44106a 2define(__title, `Bandali''`s Personal Site')dnl
505a9419
AB
3define(__slug, `home')dnl
4define(__nts)dnl
c08732dd
AB
5include(header.html)dnl
6
ea39cfbe
AB
7<section id="intro" class="justify">
8<p>Hi, I'm bandali. I am
dcc71b98
AB
9a <a href="https://www.gnu.org/philosophy/free-sw.html">free
10software</a> activist and a computing scientist. I graduated from the
11University of Waterloo with a <a href="/mmath">Master of
12Mathematics</a> degree in Computer Science, where I did research in
13formal logic, model checking, and verification supervised
14by <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>, with
15the main goal of improving <strong>software and systems
ea39cfbe 16reliability</strong> through application of
dcc71b98
AB
17<a href="https://en.wikipedia.org/wiki/Formal_methods">formal
18methods</a>. My research areas of interest include programming
19languages, proof assistants, and their type systems.</p>
4927af92 20
a367b723 21<p>I am currently employed
dcc71b98
AB
22by <a href="https://savoirfairelinux.com/en">Savoir-faire Linux</a> as
23a Free Software Consultant, where I get to hack on various parts
24of <a href="https://jami.net">Jami</a>, work with the maintainers of
25Jami packages in various GNU/Linux distributions like Debian and
26Trisquel to help keep up-to-date the version of Jami available in the
27official repositories of those distributions, and generally serve as a
35cf61e5 28community liaison between the Jami core development team and the wider
54623ca8
AB
29free software community around Jami. To be sure, the views or
30opinions expressed on this site are solely my own, and do not
a367b723 31necessarily represent those of my employer or anyone else.</p>
35cf61e5 32
dcc71b98
AB
33<p>On the side, I enjoy
34<a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
35<a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs
36Lisp</a>. I'm a GNU
37<a href="https://www.gnu.org/people/people.html#bandali">maintainer</a>,
38<a href="https://www.gnu.org/people/webmeisters.html#bandali">webmaster</a>,
39and <a href="https://savannah.gnu.org/maintenance/SavannahHacker/">Savannah
40hacker</a>; and an <a href="https://www.fsf.org/associate/">associate
ea39cfbe 41member</a> of the Free Software Foundation (FSF). I'm currently the
dcc71b98 42chief organizer of the <a href="https://emacsconf.org">EmacsConf</a>
553a0296 43conference, and the co-host of the
dcc71b98
AB
44<a href="https://emacsel.com">Emacs.el</a> podcast with
45<a href="https://www.pygopar.com">Daniel Gopar</a>. I am also a member of
4f38fff2 46the Systems Committee of the
dcc71b98 47<a href="https://csclub.uwaterloo.ca">Computer Science Club</a> of the
ea39cfbe 48University of Waterloo.</p>
4927af92
AB
49</section>
50
ea39cfbe 51<section id="notes" class="justify">
4927af92 52<h2>Notes</h2>
ea39cfbe
AB
53<p>Here are notes about a variety of topics and issues I care about.
54They're also available via
4927af92 55<a href="notes.atom">
066f7565
AB
56<img class="feed-icon" src="icon-12px.png"
57 alt="subscribe to Atom feed">Atom</a>
4927af92
AB
58and
59<a href="notes.rss">
066f7565
AB
60<img class="feed-icon" src="icon-12px.png"
61 alt="subscribe to RSS feed">RSS</a> feeds.</p>
4927af92
AB
62
63<table class="post-list">
64<tbody>
65<tr>
553a0296 66<td><a href="fsf-internship-intro">Internship with the FSF tech team</a>
d9462d28
AB
67(intro)</td>
68<td><small>May 29, 2020</small></td>
69</tr>
70<tr>
4927af92
AB
71<td><a href="computing">How I do my Computing</a></td>
72<td><small>September 14, 2019</small></td>
73</tr>
4927af92
AB
74<tr>
75<td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td>
76<td><small>November 1, 2016</small></td>
77</tr>
78</tbody>
79</table>
80</section>
c08732dd 81
3fdab855 82define(__copy, `2016&ndash;2020')dnl
c08732dd 83include(footer.html)dnl