Matt Chan

I am a functional programmer and software engineer. I'm interested in programming language theory, program calculation, category theory, quantum computation, and more.

I was an undergraduate at UCSD, and did research on information-flow aware runtime systems [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).

Projects      Blog     more ↓