+++ /dev/null
-<!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>