Yao Li (李垚)

I am a Ph.D. candidate at the University of Pennsylvania.
I am a member of PL Club at Penn. My advisor is Stephanie Weirich.
My research aims to (1) advance the state of the art of verification on real-world software and
(2) make verification easier to use from a programming languages perspective.

I am going to join the Computer Science Department of Portland State University as tenure-track assistant professor this fall!
I am looking for students! Feel free to contact me (my email can be found above) if you are interested in programming languages/formal verification/interactive theorem proving.
You can find more about my research interests from my publications (listed below).