I am a fourth year graduate student in the Pure and Applied Logic program at Carnegie Mellon University. My area of study is lambda calculus and type theory; in particular, I am interested in typability of terms in higher order typing systems.
I graduated from Rutgers University in 2009 with my BA in Mathematics.
For entertainment purposes, here is a link to the Wikipedia Scots article for Raing.