I am a developer working with functional programming languages, based in the Bay Area. I'm interested in programming language theory and formal methods, and also in constructive mathematics and quantum computation.
As an undergraduate at UCSD, I did research on information-flow aware garbage collection for Haskell [TBD] and on verifying cyber-physical systems [CoqPL '16, slides] in the programming systems group.
I'm on Twitter, Linkedin, and Github. You can also email me at (pgp).
Resume Projects Blog more ↓