I'm a researcher, software engineer, and writer.

I make open-source software to help people compute. In my work, I cut problems down to their essential forms, developing expressive systems from the simplest rules.

After building computer systems at Google and researching convex optimization at Stanford, I founded marimo, the reactive programming environment for Python, to bridge interactive computation and durable software. CoreWeave acquired marimo in 2025, and I continue to build it there.