I'm interested in quantum sensing (e.g. underwater GPS), patterns, collaboration, helping others understand things, sparking joy, empathy, and research.
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.
- Bump: Backend Engineer, 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 BA/MA. Here I realized I loved abstraction, patterns, structure, and connections between language, computer science, math, nature, and art.
(resume - updated 09.2023)
Past projects
- Nature-inspired AI: An artificial ant colony collaborates on finding the shortest path through Djibouti, Africa. Based on swarm intelligence [1, 2] (C, Javascript).
- Research: Getting research software to work [1]. I worked with the ACM to study a computer science conference where we rewarded papers with accessible and useful code.
Awards
- Google: 2017 Technical Infrastructure (TI) award