Cassia Torczon
Computer Science Ph.D. Student
 PLClub @ University of Pennsylvania

Office : 571 Levine Hall (GRW)
E-mail :
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.