Yao Li (李垚), Ph.D.

I am an incoming tenure-track assistant professor at Portland State University.
I obtained my Ph.D. in computer and information science from the University of Pennsylvania in 2022, under the guidance of Stephanie Weirich.
You can call me Yao. My preferred pronoun is he/him or they/them.

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 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.