• PinCompute: a Kubernetes-backed general purpose compute platform

• RAS: a continuously optimized region-wide datacenter resource allocator

• Magma: an open-source platform for building access networks and modular network services

Author a thesis and develop proofs of concept on scalable, secure communication techniques in resource-constrained environments

Lead and instruct a class of 150 MIT students on web development, and judge 50 team apps for a $20k prize pool

Engineer security features for Sanctum, a set of hardware extensions for strong software isolation analogous to Intel SGX