Hi! I'm interested in programming languages, compilers, and much else in computer science. I work on OxCaml at Jane Street.

I've also done research on equality saturation, probabilistic programming, and property-based testing. While at the University of Washington, I spent some time working on the CUDA C/C++ compiler at NVIDIA.

Papers

Feedback

I welcome feedback here.