#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.
Ph.D. candidate at Penn. Incoming assistant professor at Portland State University. Programming Languages, Formal Verification, Interactive Theorem Proving.