I’m a PhD student at the University of Texas at Austin in the Department of Computer Science, where I’m working with James Bornholt and Ken McMillan on applying formal methods to concurrent and distributed systems.
Prior to joining UT, I was lucky to live 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 was a software developer at Microsoft Research as well as a lecturer at Macewan University and the University of Toronto.
I hold a M.Sc. from the University of British Columbia, where Andy Warfield and I hacked on hypervisor-level dynamic analysis tools. I also hold a B.Sc. from the University of Alberta in chilly Edmonton, AB.
Exciting things will eventually appear here!