Computer Science Ph.D. Student
PLClub @ University of Pennsylvania
Office : 571 Levine Hall (GRW)
E-mail : firstname.lastname@example.org
GitHub : cassiatorczon
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.