Cassia Torczon Computer Science Ph.D. Student PLClub @ University of Pennsylvania Office : 571 Levine Hall (GRW) E-mail : ctorczon@seas.upenn.edu GitHub : cassiatorczon Curriculum Vitae |
I am a third-year Ph.D. student at the University of Pennsylvania, advised by Benjamin Pierce and Stephanie Weirich. My work centers around theorem provers and their usability. Previously, I got my bachelor's degree in Computer Science & Mathematics from Rice University and then spent two years working at Microsoft before starting my Ph.D.
Effects and Coeffects in Call-by-Push-Value. Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich. OOPSLA 2024.
Call-by-Push-Value with Coeffects. Jane Street Programming Languages Colloquium. 2023.
REPL Intro PL Seminar, University of Pennsylvania. Summer 2024. Instructor.
Advanced Programming (CIS 5520), University of Pennsylvania. Fall 2023. Teaching Assistant.
REPL Intro PL Seminar, University of Pennsylvania. Summer 2023. Co-Instructor with Jessica Shi.