Email: jpaykin (AT) seas (DOT) upenn (DOT) edu
Office: Levine 614
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 classical linear logic and its applications in linear programming and linear algebra.