Cut OS boot time by 50% for an industrial partner by implementing firmware and driver changes on arm32 devices.Architected servicing for Azure IoT EFLOW, a component which enables easily running Linux containers on Windows.Enabled machine learning on edge devices in a sixth the disk footprint of IoT Core by working on package composition and minimizing dependencies for Windows ML Container, an ultra-small edition.Architected the build system and packaging of a systemd-based Azure device agent for Debian and Ubuntu.Helped bootstrap the first iteration of an internal Linux distro and educated Windows engineers on Linux idioms.

As 'Git Champion' for the IoT org, helped Microsoft transition from Source Depot to Git and taught rebase strategies.Ported the Unified Write Filter to IoT Core, protecting devices from write failures due to power loss.Cut my team's build breaks in half by writing a tool to quickly check for common mistakes.

Participated in a startup incubator as the 3rd employee of GatedBox, an ad-blocking and an email masking service.More than doubled URL blocklist performance by implementing the Boyer-Moore string searching algorithm.

Cut average TurboTax startup time by two-thirds. Fixed bugs and memory leaks in the Windows version of TurboTax, including a complex case that involved Java cross-compiled to run on .Net.Won a week-long codejam with a project for managing charitable tax deductions and pitched our solution to a team of VPs. Intuit continued development of our project and filed a patent based on the ideas therein.Anticipating asynchronous programming on WinRT, worked alongside the lead TurboTax Windows architect to design the future WinRT version of TurboTax and learned F# in advance of C# 5’s release for async design research.

Converted industrial control screens from proprietary Honeywell language to C# to enable simulation-based training.Wrote an ad-hoc transpiler which reduced team workload from five weeks per project to just a few hours.