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's</h1>
  17         <h2 id="subtitle">corner on 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-interests">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       </section>
  64     </main>
  65   </body>
  66 </html>