Computational linguistics student at University of Washington. I've just got a lot of interests. I think functional programming is great, but I appreciate the traditional languages because of $. I love logic: modal logic, automated reasoning, metalogic, set theory, etc. Sometime soon I'd like to get into some machine learning.