About me

I’m a PhD student at UT Austin, where I’m working with James Bornholt and Ken McMillan on applying formal methods to concurrent and distributed systems.

Prior to joining UT, I lived in beautiful Oakland, CA, where I scaled low-level systems and infrastructure at some companies that you may have heard of. Outside of industry, I worked as a contract software developer for Microsoft Research NYC and as a sessional lecturer at Macewan University and the University of Toronto.

I hold a Master’s degree from the University of British Columbia, where Andy Warfield and I hacked on hypervisor-level dynamic analysis tools, as well as a Bachelor’s degree from the University of Alberta.

Exciting things will eventually appear here!