Yao Li (李垚)

I am a Ph.D. student at the University of Pennsylvania.
I am a member of PL Club at Penn. My advisor is Stephanie Weirich.
My research interests include functional programming, dependent types, and formal verification.