Cassia Torczon Computer Science Ph.D. Student ![]() 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.