Dear All, I am looking for Ph.D students (starting Fall 2023) who are interested in programming languages, formal verification, and/or interactive theorem proving to join my new group at Portland State University. I am a new assistant professor at Portland State University. 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. You can find more information about me on my webpage: https://lastland.github.io/ Please feel free to drop me an email if you are interested or if you have any questions about my research, my group, or Portland State University. I'd appreciate it if you can help spread the word to whoever might be interested. Cheers, Yao Li, Ph.D., (He/Him) Assistant Professor, Computer Science Department, Portland State University