Liyi Li headshot

Liyi Li

Position
  • Assistant Professor
Research Interests: Formal methods; programming languages; software engineering; quantum computing; mathematical semantics of programming languages; formal reasoning about human-computer systems; formal reasoning about security; proof theory and type theory; programming languages for quantum computing; formal and practical verification tools for languages including quantum language; methodology transformation for building trustworthy software development

Contact

Contact Info

205 Atanasoff Hall
2434 Osborn Dr
Ames
,
Iowa
50011

Education

  • B.S., Computer Science, University of Illinois at Urbana-Champaign
  • M.S., Computer Science, University of Illinois at Urbana-Champaign
  • Ph.D., Computer Science, University of Illinois at Urbana-Champaign

Publications

External Reviewing

  • Program Committees
    • SPIN 2022: 28th International Symposium on Model Checking of Software
  • Extended Review and Artifact Evaluation Committee
    • OOPSLA 2023
  • Reviewer
    • PLDI 2023
    • PeerJ Computer Science
    • OOPSLA 2024

Awards

  • 2020 UMD Victor Basili Postdoc
  • 2019 UIUC Spring Outstanding Teaching Assistant Award
  • UIUC University Honor 2012 (Bronze Tablet)