Home

About Me

I'm Bryan Tan, a compiler engineer with a love for programming language theory. I currently work at Veridise, where I develop static analysis and formal verification tools that grew out of my past research and perform secure code review for clients. Previously, I worked at AWS Annapurna Labs on the AWS Neuron compiler frontend for the Inferentia and Tranium AI accelerators. I have a variety of interests, but I am most excited about static analysis, compiler optimizations, and domain-specific languages. Check out my blog or my academic research profile page to get a glimpse of what I like to do!

You can find me on GitHub and LinkedIn. I'm also reachable by email at bryantan (AT) technius (DOT) net.

Website Errata

This website was generated using MkDocs.

Except otherwise noted, (1) the articles are licensed under a CC-BY 4.0 license and (2) code snippets contained within the articles are licensed under the MIT License.