About
I’m a security researcher at the Ethereum Foundation, helping
protect Ethereum mainnet and secure upcoming hard forks.
Before that, I worked on fuzzing and model-based testing at the
Stacks Foundation, and for many years before on
large-scale, multi-region enterprise software running on Azure.
Throughout: open source, functional programming, and property-based
testing. Away from the terminal: my family and our four children.
Public code
- swarm-core (2026–present). Runs coding agents in Docker
over a shared Git repository, with no orchestrator. Used by
Ethereum’s Protocol Security team to scan execution and consensus
clients, at Stacks Labs, and elsewhere.
- rendezvous and madhouse-rs (2022–2025).
A fuzzer for Clarity smart contracts and a model-based testing
library for Rust. Used in testing PoX-3, PoX-4, and the Nakamoto
hard fork, and still in use.
- Hedgehog (2016–present). Core contributor.
Property-based testing for Haskell, F#, R, and Scala. Used in the
early development of Echidna by Trail of Bits.
- SplitMix (2017–2020). Port of the
fast splittable PRNG by Steele, Lea, and Flood.
Used in Hedgehog for replay and shrinking.
- Fare (2011–2020). Generates strings that match a regular
expression. Used in AutoFixture.
- AutoFixture (2011–2016). Core contributor through
AutoFixture 3.