Liyi Li

Post-Doctoral Associate
Victor Basili Postdoctoral Fellow
Email: liyili2
umd[.dot.]edu

Location:
IRB 5128
Website:
Education:
- PHD., University of Illinois at Urbana-Champaign, 2020
- Master, University of Illinois at Urbana-Champaign, 2014
- Bachelor, University of Illinois at Urbana-Champaign, 2012
Appointments:
CS
Research Areas:
Interest Areas:
programming languages, formal methods, software engineering, Quantum computation, computer security
Biography
I am a Victor Basili postdoc in the University of Maryland, College Park. My research interest is to utilize programming language and formal methods techniques to help debug, verify, and reason about programs. Recently, I am focusing on designing quantum computer languages and verification frameworks. I was from China and became an undergraduate in Case Western Reserve University. In 2010, I transferred to UIUC and earned my bachelor, master, and PHD degrees under the advice of Elsa Gunter. Mainly, I was working on formal verification of compilers, mainly, the LLVM compiler. In 2020, I became a postdoc in UMD, and worked on the Checked C project as well as near-term quantum language compiler verification.