I am an MS student at Columbia University.
My main interests are in programming language design and logic representation.
Favorite languages:
Least favorite: