Hi! I've moved my blog here from Medium—a simpler, more personal space to share thoughts on program analysis, static analysis, and software engineering.

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

Thanks for stopping by. Stay tuned for more posts.