git.shemshak.org - ~bandali/bndl.org/blob - 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="https://www.gnu.org/philosophy/free-sw.html">free
  10 software</a> activist and a computing scientist.  I graduated from the
  11 University of Waterloo with a <a href="/mmath">Master of
  12 Mathematics</a> degree in Computer Science, where I did research in
  13 formal logic, model checking, and verification supervised
  14 by <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>, with
  15 the main goal of improving <strong>software and systems
  16 reliability</strong> through application of
  17 <a href="https://en.wikipedia.org/wiki/Formal_methods">formal
  18 methods</a>.  My research areas of interest include programming
  19 languages, proof assistants, and their type systems.</p>
  20
  21 <p>I am currently employed
  22 by <a href="https://savoirfairelinux.com/en">Savoir-faire Linux</a> as
  23 a Free Software Consultant, where I get to hack on various parts
  24 of <a href="https://jami.net">Jami</a>, work with the maintainers of
  25 Jami packages in various GNU/Linux distributions like Debian and
  26 Trisquel to help keep up-to-date the version of Jami available in the
  27 official 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 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
  36 Lisp</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>,
  39 and <a href="https://savannah.gnu.org/maintenance/SavannahHacker/">Savannah
  40 hacker</a>; and an <a href="https://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="https://emacsconf.org">EmacsConf</a>
  43 conference, 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
  46 the Systems Committee of the
  47 <a href="https://csclub.uwaterloo.ca">Computer Science Club</a> of the
  48 University 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.
  54 They'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>
  58 and
  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
  87 define(__copy, `2016&ndash;2020')dnl
  88 include(footer.html)dnl