Victor Basili Postdoctoral Fellow
- PHD., University of Illinois at Urbana-Champaign, 2020
- Master, University of Illinois at Urbana-Champaign, 2014
- Bachelor, University of Illinois at Urbana-Champaign, 2012
programming languages, formal methods, software engineering, Quantum computation, computer security
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.