Matthew Chan
Software Engineer at Awake Security
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolMatthew Chan is a software engineer in the San Francisco Bay Area with 12 years of experience specializing in programming language theory and practical implementations. He applies formal mathematical techniques—type theory, category theory, and program calculation—to build correct, high-performance systems, favoring languages like Haskell and OCaml. At Awake Security he focuses on packet processing and language implementation in Haskell, blending low-level systems work with principled abstractions. Matthew is motivated by making formal methods usable in production and has a strong academic foundation from UC San Diego that underpins his work on verification and even quantum computation. Notably, he seeks languages and designs that reduce cognitive load for developers, enabling correctness by construction.
12 years of coding experience
University of California, San DiegoEnglish Schools Foundation
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (111)
computer-architecture10
protoc10
servant10
computer-science10
libary10
protocol-buffers10
purescript10
linux10
hackage10
cabal10
science10
protobuf10
serialization10
rpc10
electrical-engineering10
Programming languages (8)
Github contributions (5)
themattchan/tiger
Mar 2016 - May 2017
Contributions:26 commits, 21 pushes, 1 branch in 1 year 1 month
themattchan/advent-of-code
Dec 2015 - Aug 2019
Contributions:408 commits, 383 pushes, 1 branch in 3 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.