X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/bdec77905bf26a7613043645c067ca1673d5acce..21453c78741b3a2775b7cb0b15ca0c7b85a83ffe:/content-org/aminb.org diff --git a/content-org/aminb.org b/content-org/aminb.org index e71bb14..2625214 100644 --- a/content-org/aminb.org +++ b/content-org/aminb.org @@ -37,7 +37,27 @@ type systems, and formal methods in general. I love writing Haskell and I'm looking into Rust and Lean as well. Feel free to [[/contact][drop me a line]] if you like to geek out about any of the above. -** TODO Now +** DONE Now +CLOSED: [2018-09-04 Tue 10:53] +:PROPERTIES: +:EXPORT_FILE_NAME: now +:EXPORT_HUGO_AUTO_SET_LASTMOD: t +:EXPORT_HUGO_MENU: :menu topnav :weight 20 +:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :customTitle "What I'm doing now" +:END: + +This is my [[https://nownownow.com/about][now page]]. + +I'm currently doing my third semester as a [[/uw][graduate student]] in the +Waterloo Formal Methods group at University of Waterloo. I'm also +TA'ing [[https://www.student.cs.uwaterloo.ca/~se212/][SE 212: Logic and Computation]], taught by my supervisor, Nancy. + +In my spare time, I write [[https://www.gnu.org/philosophy/free-sw.en.html][free software]] (projects page coming soon), +and tend to various tasks as a GNU webmaster. I've also been picking +up the guitar, after giving up on my longtime dream of being a +pianist, at least for now. + +This update was on {{< lastmod >}}. ** TODO Projects