Hi! Welcome to my personal space to share thoughts on program analysis, compilers, and software engineering.

I'll be writing about topics close to my interests: semantic analysis, compiler optimizations, type inference, symbolic execution, and how these technologies help ship better, safer code at scale.

Thanks for stopping by. Stay tuned for more posts.