Greater Seattle Area
I enjoy creating and improving platforms that allow others to build upon; be they Operating Systems or developer tools like compilers. I've worked on such platforms in Windows and the Rust & Swift compilers.
Worked on the Windows VPN client and platform spanning: low-level kernel drivers, system services, private/public APIs, 3rd party plugins and a dash of UI. Also worked on Accelerated Networking for Virtual Machines on Hyper-V hosts.
Worked with Professor Werner Dietl on pluggable type systems with Checker Framework. Implemented more detailed explanations for programs where annotations could not be inferred.
Worked with Professor Ondřej Lhoták on performance work for the logic programming language Flix. Implemented simple PoC optimization passes: Copy Propagation, Constant Folding, Dead Code Elimination
Worked on Microsoft Dynamics CRM and improved warm-load times for the mobile client by about 300mson desktop and almost 2s on Android & iOS.
Worked on the Swift Performance team implementing optimizations and improving developer tools.