Who are you again?

I'm a software engineer at Google. I work on the Internetto team, helping to analyze a stupendously large network for performance and reliability problems. I want to teach the world how to use formal methods to solve real problems. And I love thinking about how programming languages are designed, implemented, and used.

How's that for a grab bag of interests?

Finding me


All of the opinions expressed on this site are my own, and not those of my employer.