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 second-year Ph.D. student advised by Stephanie Weirich at the University of Pennsylvania.
I am interested in type theory and proof assistants.

I graduated from Rice University in 2020 with a Bachelor's degree in Computer Science & Mathematics. I worked at Microsoft in Seattle from 2020 until 2022, when I started my Ph.D.