Irene Yoon
Ph.D. Student of Computer Science
 PLClub @ University of Pennsylvania

Office : 571 Levine Hall (GRW)
E-mail : euisuny@cis.upenn.edu
GitHub : euisuny   GitLab : euisuny

DBLPGoogle ScholarORCID

I am a Ph.D. student advised by Steve Zdancewic at the University of Pennsylvania (Fall 2019 - present).
My research interests lie in programming languages theory, mechanized formal verification, and functional programming.

I received a B.S. in Computer Science from Cornell University (2015 - 2019).

Research

Publications

Workshops and Presentations

Notes

Professional Experience

Invited Seminars

Teaching

Service

Academic Honors

Miscellany