4 <meta charset="utf-8" />
5 <meta name=viewport content="width=device-width, initial-scale=1" />
6 <title>Amin Bandali's Now</title>
9 content="Amin Bandali's Now page" />
10 <link rel="stylesheet" href="/style.css" />
15 <h1 id="title"><a href="/">bandali</a></h1>
16 <h2 id="subtitle">What I’m doing now</h2>
20 This is my <a href="https://nownownow.com/about">now page</a>.
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.
36 In my spare time, my main focus currently is organizing
37 <a href="https://emacsconf.org/2019/">EmacsConf 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.
46 This update was on August 29, 2019.