| | 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 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> |
projects / ~bandali / bndl.org / blame_incremental