+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="utf-8" />
+ <meta name=viewport content="width=device-width, initial-scale=1" />
+ <title>Amin Bandali's Now</title>
+ <meta
+ name="description"
+ content="Amin Bandali's Now page" />
+ <link rel="stylesheet" href="/style.css" />
+ </head>
+ <body>
+ <main>
+ <header>
+ <h1 id="title"><a href="/">bandali</a></h1>
+ <h2 id="subtitle">What I’m doing now</h2>
+ </header>
+ <section>
+ <p>
+ This is my <a href="https://nownownow.com/about">now page</a>.
+ </p>
+
+ <p>
+ I’m currently a graduate student at the
+ <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
+ group at University of Waterloo. I have finished my
+ coursework requirements and am currently writing my thesis.
+ Additionally, I will be an IA for
+ <a href="https://www.student.cs.uwaterloo.ca/~se212/">SE
+ 212: Logic and Computation</a> this Fall, and might end up
+ posting related material over on my
+ <a href="/se212-f19">se212-f19</a> page.
+ </p>
+
+ <p>
+ In my spare time, my main focus currently is organizing
+ <a href="https://emacsconf.org/2019/">EmacsConf 2019</a>.
+ More generally, I enjoying writing
+ <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>,
+ and tending to various tasks as a
+ <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>.
+ I’ve also been picking up the guitar lately.
+ </p>
+
+ <p>
+ This update was on August 29, 2019.
+ </p>
+ </section>
+ </main>
+ </body>
+</html>
projects / ~bandali / bndl.org / commitdiff