Hey there! I maintain Hypothesis, and work on HypoFuzz, a coverage-guided fuzzer for Hypothesis tests. I spend a lot of time thinking about property-based testing and fuzzing. I've contracted at METR as a participant in their widely-cited study on AI productivity, and at Quansight to support thread-safety in Hypothesis (see).
In October 2025, I co-authored this NeurIPS workshop paper with Anthropic.
As of December 2025, I'm at Antithesis!