I'm studying computer science at Brown University. Currently interested in functional programming languages, formal verification, and programming language design.

Quickly becoming a lover of Haskell, although Racket is good too.