04a3831cdc62f29ae5dc6558b6eac8d1ac881a3d
[~bandali/bndl.org] / index.m4
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>, with the
15 main goal of 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>I am currently employed
22 by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
23 Free Software Consultant, where I get to hack on various parts
24 of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
25 packages in various GNU/Linux distributions like Debian and Trisquel
26 to help keep up-to-date the version of Jami available in the official
27 repositories of those distributions, and generally serve as a
28 community liaison between the Jami core development team and the wider
29 free software community around Jami. To be sure, the views or
30 opinions expressed on this site are solely my own, and do not
31 necessarily represent those of my employer or anyone else.</p>
32
33 <p>On the side, I
34 enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a>
35 on <a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a>
36 and <a href="//www.gnu.org/software/guile/">guile</a>. I'm a
37 GNU <a href="//www.gnu.org/people/people.html#bandali">maintainer</a>,
38 <a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>,
39 and <a href="//savannah.gnu.org/maintenance/SavannahHacker/">Savannah
40 hacker</a>; and an <a href="//www.fsf.org/associate/">associate
41 member</a> of the Free Software Foundation (FSF). I'm currently the
42 chief organizer of the <a href="//emacsconf.org">EmacsConf</a>
43 conference, and the co-host of
44 the <a href="//emacsel.com">Emacs.el</a> podcast with
45 <a href="//www.pygopar.com">Daniel Gopar</a>. I am also a member of
46 the Systems Committee of the
47 <a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the
48 University of Waterloo.</p>
49
50 <p>Starting in spring 2020, I am an intern with the FSF tech team.</p>
51 </section>
52
53 <section id="notes" class="justify">
54 <h2>Notes</h2>
55 <p>Here are notes about a variety of topics and issues I care about.
56 They're also available via
57 <a href="notes.atom">
58 <img class="feed-icon" src="icon-12px.png"
59 alt="subscribe to Atom feed">Atom</a>
60 and
61 <a href="notes.rss">
62 <img class="feed-icon" src="icon-12px.png"
63 alt="subscribe to RSS feed">RSS</a> feeds.</p>
64
65 <table class="post-list">
66 <tbody>
67 <tr>
68 <td><a href="fsf-internship/intro">Internship with the FSF tech team</a>
69 (intro)</td>
70 <td><small>May 29, 2020</small></td>
71 </tr>
72 <tr>
73 <td><a href="computing">How I do my Computing</a></td>
74 <td><small>September 14, 2019</small></td>
75 </tr>
76 <tr>
77 <td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td>
78 <td><small>November 1, 2016</small></td>
79 </tr>
80 </tbody>
81 </table>
82 </section>
83
84 define(__copy, `2016&ndash;2020')dnl
85 include(footer.html)dnl