various small changes
[~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="//www.gnu.org/philosophy/free-sw.html">free software</a>
10activist and a computing scientist. I graduated from the University
11of Waterloo with a <a href="/mmath">Master of Mathematics</a> degree
12in Computer Science, where I did research in formal logic, model
13checking, and verification supervised
14by <a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>, with the
15main goal of improving <strong>software and systems
16reliability</strong> through application of
17<a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.
18My research areas of interest include programming languages, proof
19assistants, and their type systems.</p>
20
21<p>I am currently employed
22by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
23Free Software Consultant, where I get to hack on various parts
24of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
25packages in various GNU/Linux distributions like Debian and Trisquel
26to help keep up-to-date the version of Jami available in the official
27repositories 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
34enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a>
35on <a href="//www.gnu.org/software/emacs/manual/elisp.html">Emacs
36Lisp</a>. I'm a
37GNU <a href="//www.gnu.org/people/people.html#bandali">maintainer</a>,
38<a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>,
39and <a href="//savannah.gnu.org/maintenance/SavannahHacker/">Savannah
40hacker</a>; and an <a href="//www.fsf.org/associate/">associate
41member</a> of the Free Software Foundation (FSF). I'm currently the
42chief organizer of the <a href="//emacsconf.org">EmacsConf</a>
43conference, and the co-host of the
44<a href="//emacsel.com">Emacs.el</a> podcast with
45<a href="//www.pygopar.com">Daniel Gopar</a>. I am also a member of
46the Systems Committee of the
47<a href="//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-intro">Internship with the FSF tech team</a>
67(intro)</td>
68<td><small>May 29, 2020</small></td>
69</tr>
70<tr>
71<td><a href="computing">How I do my Computing</a></td>
72<td><small>September 14, 2019</small></td>
73</tr>
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>
81
82define(__copy, `2016&ndash;2020')dnl
83include(footer.html)dnl