Cassia Torczon
Computer Science Ph.D. Student
A shield-shaped logo that says Penn PL in red, blue, and white PLClub @ University of Pennsylvania

Office : 571 Levine Hall (GRW)
E-mail : ctorczon@seas.upenn.edu
GitHub : cassiatorczon

Curriculum Vitae

A person with short brown hair wearing a red beanie and flannel. They are smiling and holding a black and white cat. In the background is a window with some low buildings and fall-colored trees visible through it.

About

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.

Publications

Effects and Coeffects in Call-by-Push-Value. Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich. OOPSLA 2024.

Talks

Call-by-Push-Value with Coeffects. Jane Street Programming Languages Colloquium. 2023.

Teaching

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.

FAQ

  1. CASSIE-uh TORK-zuhn. /ˈkæ.si.ə ˈtɔɹk.zən/
  2. she/her
  3. The cat's name is Pippin.