POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Liyi Li

Registered user since Mon 20 May 2024

Name:Liyi Li
Bio:

Liyi Li is an assistant professor of Computer Science at the Iowa State University. He received his Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 2020. His research focuses on using formal method and programming language tools to improve the security, reliability, and availability of software. During his career, he has published many refereed conference and journal papers. He also likes to interact with talented students and mentors PHD students towards successful PHD careers.

Country:United States
Affiliation:Iowa State University
Research interests:Quantum Computing and Programming Languages

Contributions

Show activities from other conferences

Using general profile