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.