Yao Li (李垚)

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