Liyi Li

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.

Contact

liyili2@iastate.edu

205 Atanasoff

Download CV

Research Area

Software Engineering and Programming Languages

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

Recent Publications

Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin:
Validate Quantum State Preparation Programs. CoRR abs/2501.05616 (2025)
Liyi Li, Federico Zahariev, Chandeepa Dissanayake, Jae Swanepoel, Amr Sabry, Mark S. Gordon:
Quantum Simulation Programming via Typing. CoRR abs/2509.17343 (2025)
Liyi Li, Fenfen An, Federico Zahariev, Zhi Xiang Chong, Amr Sabry, Mark S. Gordon:
A Verified Compiler for Quantum Simulation. CoRR abs/2509.18583 (2025)
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu:
Qafny: A Quantum-Program Verifier (Artifact). Dagstuhl Artifacts Ser. 10(2): 12:1-12:2 (2024)
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu:
Qafny: A Quantum-Program Verifier. ECOOP 2024: 24:1-24:31

More Publications