git.shemshak.org - ~bandali/bndl.org/blob - now.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 Now</title>
   7     <meta
   8       name="description"
   9       content="Amin Bandali's Now page" />
  10     <link rel="stylesheet" href="/style.css" />
  11   </head>
  12   <body>
  13     <main>
  14       <header>
  15         <h1 id="title"><a href="/">bandali</a></h1>
  16         <h2 id="subtitle">What I’m doing now</h2>
  17       </header>
  18       <section>
  19         <p>
  20           This is my <a href="https://nownownow.com/about">now page</a>.
  21         </p>
  22
  23         <p>
  24           I’m currently a graduate student at the
  25           <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
  26           group at University of Waterloo.  I have finished my
  27           coursework requirements and am currently writing my thesis.
  28           Additionally, I will be an IA for
  29           <a href="https://www.student.cs.uwaterloo.ca/~se212/">SE
  30           212: Logic and Computation</a> this Fall, and might end up
  31           posting related material over on my
  32           <a href="/se212-f19">se212-f19</a> page.
  33         </p>
  34
  35         <p>
  36           In my spare time, my main focus currently is organizing
  37           <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a>.
  38           More generally, I enjoying writing
  39           <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>,
  40           and tending to various tasks as a
  41           <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>.
  42           I’ve also been picking up the guitar lately.
  43         </p>
  44
  45         <p>
  46           This update was on August 29, 2019.
  47         </p>
  48       </section>
  49     </main>
  50   </body>
  51 </html>