People
Assistant Professor
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.
Area of Expertise:
Programming Languages/Software Engineering/Formal Method/Compilers
Quantum Computation
Security
Education:
B.S., Computer Science, Computer Science, University of Illinois at Urbana-Champaign, 2012
M.S., Computer Science, Computer Science, University of Illinois at Urbana-Champaign, 2014
Ph.D., Computer Science, Computer Science, University of Illinois at Urbana-Champaign, 2020
CV: