commit recent changes
[~bandali/bndl.org] / now.html
... / ...
CommitLineData
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>