add <subtitle> to atom feed
[~bandali/bndl.org] / index.m4
... / ...
CommitLineData
1dnl -*- html -*-
2define(__title, `Bandali''`s Personal Site')dnl
3define(__slug, `home')dnl
4define(__nts)dnl
5include(header.html)dnl
6
7<section id="intro" class="justify">
8<p>Hi, I'm bandali. I am
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
16reliability</strong> through application of
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>
20
21<p>I am currently employed
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
28community liaison between the Jami core development team and the wider
29free software community around Jami. To be sure, the views or
30opinions expressed on this site are solely my own, and do not
31necessarily represent those of my employer or anyone else.</p>
32
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
41member</a> of the Free Software Foundation (FSF). I'm currently the
42chief organizer of the <a href="https://emacsconf.org">EmacsConf</a>
43conference, and the co-host of the
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
46the Systems Committee of the
47<a href="https://csclub.uwaterloo.ca">Computer Science Club</a> of the
48University of Waterloo.</p>
49</section>
50
51<section id="notes" class="justify">
52<h2>Notes</h2>
53<p>Here are notes about a variety of topics and issues I care about.
54They're also available via
55<a href="notes.atom">
56<img class="feed-icon" src="icon-12px.png"
57 alt="subscribe to Atom feed">Atom</a>
58and
59<a href="notes.rss">
60<img class="feed-icon" src="icon-12px.png"
61 alt="subscribe to RSS feed">RSS</a> feeds.</p>
62
63<table class="post-list">
64<tbody>
65<tr>
66<td><a href="fsf-internship-beyond">My internship with the FSF tech team and beyond</a>
67(concluding)</td>
68<td><small>December 18, 2020</small></td>
69</tr>
70<tr>
71<td><a href="fsf-internship-intro">Internship with the FSF tech team</a>
72(intro)</td>
73<td><small>May 29, 2020</small></td>
74</tr>
75<tr>
76<td><a href="computing">How I do my Computing</a></td>
77<td><small>September 14, 2019</small></td>
78</tr>
79<tr>
80<td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td>
81<td><small>November 1, 2016</small></td>
82</tr>
83</tbody>
84</table>
85</section>
86
87define(__copy, `2016&ndash;2020')dnl
88include(footer.html)dnl