I am a Ph.D. student studying programming languages with Steve Zdancewic at the University of Pennsylvania. Broadly, I am interested in the logic and semantics of type systems. My current work studies categorical models of linear logic and its applications.
Email: jpaykin (at) gmail (dot) com
Office: Levine 513