--

Hello!

I’m Irene (Euisun) Yoon. I am an incoming Ph.D. student in Computer Science at the University of Pennsylvania.

My main research interests are in programming language theory, type systems, and formal verification.

Here are some things I've been reading.


@ Philadelphia, PA

euisuny@cis.upenn.edu