Open Source

Checker Framework / type systems, static analysis

Active contributor to the Checker Framework and Checker Framework Inference, including improvements around Nullness and Initialization checking, soundness bug fixes, and pull request reviews.

PICO / Rocq proof

Mechanized proof artifact for the PICO Java immutability type system: Rocq proof.