[Haskell-cafe] Ph.D. positions at Portland State University

Yao Li liyao at pdx.edu
Tue Oct 11 23:54:45 UTC 2022

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

Yao Li, Ph.D., (He/Him)
Assistant Professor,
Computer Science Department, Portland State University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221011/65816ec4/attachment.html>

More information about the Haskell-Cafe mailing list