SPLASH 2024 (series) / 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
Personal website: https://faculty.sites.iastate.edu/liyili2/
Research interests:Quantum Computing and Programming Languages
Contributions
Using general profile