I'm interested in functional programming (Haskell), reproducibility/interpretability of science, the Bauhaus school, philosophy of aesthetics, research, joy, empathy, helping people understand things, and play-as-learning.
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: 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, 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.
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).
Awards
- Google: 2017 Technical Infrastructure (TI) award