Yao Li @liyao@types.pl
- https://twitter.com/lastland0
- Personal Website
- https://lastland.github.io/
- Pronoun
- https://pronoun.is/he
Ph.D. candidate at Penn. Incoming assistant professor at Portland State University. Programming Languages, Formal Verification, Interactive Theorem Proving.
Our paper Program Adverbs and Tlön Embeddings has been conditionally accepted at ICFP 2022! Our reviewers have some great suggestions for improving our paper, so we'll announce the preprint after we incorporate those changes.
Anxiously waiting for ICFP reviews...
#introduction
Hello, people on Mastodon! I'm new to this platform and still figuring things out.
My name is Yao Li (李垚). I am a researcher on programming languages/formal verification/interactive theorem proving. I am currently a Ph.D. candidate at Penn and an incoming assistant professor at Portland State University (Fall '22). Always happy to chat with people about research or general things about programming languages/functional programming/program verification.
- https://twitter.com/lastland0
- Personal Website
- https://lastland.github.io/
- Pronoun
- https://pronoun.is/he
Ph.D. candidate at Penn. Incoming assistant professor at Portland State University. Programming Languages, Formal Verification, Interactive Theorem Proving.
