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

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

My office is Levine 565.