Yao Li

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