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?
All of the opinions expressed on this site are my own, and not those of my employer.