I build tools that understand code.
My work sits around static analysis, parsers, language tooling, compilers, and program synthesis — mostly with C#/Roslyn and Rust.
- Folk — an experimental proof-oriented language and compiler in Rust
- Program synthesis — symbolic reasoning, constraint solving, and correctness
- Reliable AI tooling — making generated code easier to understand and verify
- Security tooling — program-analysis-based vulnerability detection
I have worked professionally on C# Roslyn and Rust static analysis, intermediate representations, clone detection, data-flow and taint analysis, SQL parsers, source generators, and editor-facing language tooling.