What I’m doing now

This is my now page.

I’m currently a graduate student at the Waterloo Formal Methods group at University of Waterloo. I have finished my coursework requirements and am currently writing my thesis. Additionally, I will be an IA for SE 212: Logic and Computation this Fall, and might end up posting related material over on my se212-f19 page.

In my spare time, my main focus currently is organizing EmacsConf 2019. More generally, I enjoying writing free software, and tending to various tasks as a GNU webmaster. I’ve also been picking up the guitar lately.

This update was on August 29, 2019.