Yao Li (李垚)

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