Skip to main content

# Liyi Li

## Post-Doctoral Associate

## Victor Basili Postdoctoral Fellow

Email: liyili2umd[.dot.]edu
Location:
IRB 5128
Website:
https://www.cs.umd.edu/~liyili2
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:
Programming Languages and Software Engineering, Quantum Computing
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.