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.