git.shemshak.org - ~bandali/bndl.org/blob - index.html

   1 <!DOCTYPE html>
   2 <html lang="en">
   3   <head>
   4     <meta charset="utf-8" />
   5     <meta name=viewport content="width=device-width, initial-scale=1" />
   6     <title>Amin Bandali's Personal Site</title>
   7     <meta
   8       name="description"
   9       content="Amin Bandali is a graduate student at WatForm, a free
  10             software activist, and a GNU webmaster and volunteer." />
  11     <link rel="stylesheet" href="/style.css" />
  12   </head>
  13   <body>
  14     <main>
  15       <header>
  16         <h1 id="title">bandali</h1>
  17         <h2 id="subtitle">my corner of the interwebs</h2>
  18       </header>
  19       <section>
  20         <p>
  21           Hi, I’m
  22           <a href="images/bandali-with-rms.jpg"
  23              title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
  24           often just <code>bandali</code> around the web.
  25         </p>
  26       </section>
  27       <h3>Academia</h3>
  28       <section>
  29         <nav>
  30           <ul id="academia">
  31             <li><a href="cv">CV</a></li>
  32             <li><a href="publications">Publications</a></li>
  33             <li><a href="research">Research interests</a></li>
  34           </ul>
  35         </nav>
  36         <p>
  37           I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
  38           at University of Waterloo, supervised by
  39           <a href="https://cs.uwaterloo.ca/~nday/">Dr.&nbsp;Nancy&nbsp;Day</a>.
  40           My research at WatForm focuses on formal logic, model
  41           checking, and verification.  See my research interests link
  42           above for more details.
  43         </p>
  44       </section>
  45       <h3>Personal</h3>
  46       <section>
  47         <nav>
  48           <ul id="personal">
  49             <li><a href="blog">Blog</a></li>
  50             <li><a href="now">Now</a></li>
  51             <li><a href="computing">Computing</a></li>
  52             <li><a href="contact">Contact</a></li>
  53           </ul>
  54         </nav>
  55         <p>
  56           I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a>
  57           and <a href="https://www.gnu.org/licenses/copyleft.html">Copyleft</a> activist,
  58           an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
  59           and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
  60           and volunteer.  I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
  61           and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a> this fall.
  62         </p>
  63         <p>
  64           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
  65           and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
  66           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
  67         </p>
  68       </section>
  69     </main>
  70   </body>
  71 </html>