Matthew Chan

I am interested in the mathematical foundations and structures of computation: programming language theory, program calculation, category theory, quantum computation, and more.

I am currently a software engineer at Awake Security.

I was an undergraduate at UC San Diego, and did research on information-flow aware runtime systems [POST 2019] and on verifying cyber-physical systems [CoqPL 2016, slides] in the programming systems group.

I'm on Twitter, Linkedin, and Github. You can also email me at   (pgp).

Blog     more ↓