I like abstraction, design, Haskell (the programming language), the Bauhaus school, pigeons on murals, weird-big systems, weird-inspired people, joy, empathy, helping people learn-explore, and bottom-up creativity.
Previously
- Google: Senior Software Engineer, founding developer of Google's lightweight Linux container for untrusted code -- gVisor -- before it was open sourced (Go, C, C++). I helped grow it from a Stanford research prototype into something that serves billions of users and saves Google hundreds of millions of dollars.
- Reproducibility: Principal Researcher, I worked with the ACM to improve research reproducibility and understandability in open science.
- Haskell: Backend Engineer at Bump, functional programming, software transactional memory, and eventually consistent databases (Haskell, Python, C). Our Haskell server had an uptime of > 300 days for over 100 million daily active users.
- UChicago: Linguistics. Here I realized I loved abstraction, patterns, structure, and connections between language, computer science, math, nature, and art.
(resume - updated 09.2023)
Projects
- Animal-inspired AI: An artificial ant colony collaborates on finding the shortest path through Djibouti, Africa. Based on swarm intelligence [1, 2] (C, Javascript).
Awards
- Google: 2017 Technical Infrastructure (TI) award