The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here: https://cs.uoregon.edu/research/summerschool/summer23/registration.php
#introduction
Hello everyone! I have just moved from types.pl to try out this instance by ACM. Since my toots were not migrated with me, let me introduce myself again.
My name is Yao Li (李垚). I am currently an assistant professor at Portland State University. My research area is programming languages/formal verification/interactive theorem proving. Always happy to chat with people about research or general things about programming languages!
Professor at University of Pennsylvania