معرفی
Liyi Li is an Assistant Professor in the Department of Computer Science at Iowa State University. He holds a Ph.D. from the University of Illinois at Urbana-Champaign, where his research focused on compiler verification and formal methods. After completing his postdoctoral work at the University of Maryland, he expanded his research to include quantum computing, software engineering, and compiler optimization.
Education:
- B.S. in Computer Science, University of Illinois at Urbana-Champaign (2012)
- M.S. in Computer Science, University of Illinois at Urbana-Champaign (2014)
- Ph.D. in Computer Science, University of Illinois at Urbana-Champaign (2020)
Research Interests: Liyi Li’s work bridges formal methods, programming languages, and quantum computing. Key areas include quantum program verification, compiler correctness, memory-safe dialects (e.g., Checked C), and distributed quantum systems. He emphasizes applying formal techniques to ensure software reliability and security.
Awards:
- 2020 UMD Victor Basili Postdoctoral Fellowship
- 2019 UIUC Spring Outstanding Teaching Assistant Award
- 2012 UIUC University Honor (Bronze Tablet)
Grants & Advising:
- Co-PI for NSF Grant NQVL:QSTD (2024–2025) focusing on quantum analog pathways
- PI for NSF Grant CCF-2422127 (2024–2027) on Just-in-Time Verification
- Advises over 13 students, including PhD candidates at Iowa State, University of Maryland, and William & Mary
Collaborations: Liyi Li collaborates with institutions such as the University of Maryland and works with researchers like Mingwei Zhu and Xiaodi Wu on quantum verification and compiler optimization tools.
