I worked on Azure Sphere (https://azure.microsoft.com/en-us/services/azure-sphere/)... A solution for creating highly secured, connected MCU-powered devices to help you reimagine your business, drive innovation, and delight customers.

Microsoft Research Everest Expedition. This article: https://www.microsoft.com/en-us/research/expeditions-exploring-the-unknown/ describes Expeditions.I was a contributor to the miTLS project, a verified TLS 1.3 implementation, hosted at http://github.com/mitls. My focus was on interoperability - hosting miTLS, and bridging different verification languages/tools/runtimes, and systems integration.

"You're welcome." :-)As Partner Architect in the Back Compat team, I was responsible for the overall technology behind back-compat. This is the software that enables existing XBox360 games to play on XBox One.My primary focus was the OS kernel that runs underneath games, and providing the games and kernel with a high-performance and accurate virtualized environment to run in. I also created the core codebase for the CPU emulation.We call the group "Fourth Kernel Studios" as we literally brought a fourth kernel to XBox One - the XBox360 kernel.

I worked on a variety of projects across Microsoft, primarily around VMs, compatibility, and binary emulation, but with forays into human-computer-interface and Big Data and Cloud.Windows: - DOSWOW - mostly bugfixes to the Win16 emulation code- Wx86 - contributor to the CPU emulator and API translation code that allowed x86 Win32 apps to run on MIPS, Alpha, and PowerPC versions of Windows- WOW64 (I designed and led the implementation), the Itanium port and 64-bit portDeveloper Division:- Visual Basic for Applications - Unicode string support, Mac System 7 port, Win32 port, compile-on-demand feature- DeviceEmulator - I designed and led the ARM-based phone emulator in Visual Studio 2005 and 2008. I also owned the WinCE and Windows Mobile BSP code that supported the emulator.- Technical Computing Cloud - Partner Architect for a cloud-based big-data effort- Decatur (conversion to WiX-based authoring for the setup build process)- .NET Rotor - I led the technical aspects, designed the Platform Adaption Layer and much of the code subsetting effort. I was also a contributor to the ECMA standard for .NET.Microsoft Research, in the Systems and Networking group:- Menlo - a mobile phone OS and programming model- Experiment 19 - what if phones ran desktop Windows instead of Windows CE?- Drawbridge - a VM the size of a process, instead of the size of a PC- LSX / Perceptive Pixel - I worked as architect for 1 year, on loan from MSR