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

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

My office is Levine 565.