Hi, I'm Chris Casinghino, a first year PhD student at the University of Pennsylvania. My interests are in programming languages, type theory, and logic in general. Sometime soon, this page will be updated with more complete information.

My email address is: ccasin@seas.upenn.edu