I'm building Sprig, an open source game engine.
Before that, I worked on:
MakeCode,
the Linux-based OS of Azure
Sphere;
compiler research at UW with
Eric Mullen,
Zach Tatlock,
and Dan Grossman;
build tools at Microsoft;
Kodu;
and PL research at MSR.