Matt Chan

I am a functional programmer based in the Bay Area. I'm interested in programming language theory, formal methods, type theory, constructive mathematics, quantum computation, and other mathematical subjects.

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 ↓