I currently work at Google.
My main interests are in programming language design and logic representation.
Favorite languages:
Least favorite: