Sign In
Get Clay Free →

Suggestions

    Matthew Chan

    Software Engineer at Awake Security

    Matthew Chan is a skilled software engineer with a focus on programming language theory.

    He is passionate about utilizing formal mathematical techniques to build accurate and efficient systems effortlessly.

    Specializing in languages like Haskell and OCaml, Matthew aims to work on projects that enable this objective.

    Apart from his core focus, he has a broader interest in the mathematical underpinnings of computation, including category theory, type theory, functional programming, program calculation, formal verification, and quantum computation.

    Matthew pursued a BSc in Computer Science at the University of California San Diego and underwent studies at the English Schools Foundation.

    Currently, he holds the role of a Software Engineer at Awake Security, where he applies his expertise and skills in programming and language theory.

    Matthew Chan
    Add to my network

    Location

    San Francisco Bay Area