Liyi Li

Assistant Professor

Iowa State University

United States

Research Interests

Explore related searches

Professors in United States

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Dr. Liyi Li is an Assistant Professor at Iowa State University in the United States. His research areas focus on quantum computing and formal methods, as evidenced by his recent publications including work on quantum hardware optimization and verified compilation techniques. He has contributed to the development of a unified language for quantum and classical computing and has produced formally certified implementations of significant quantum algorithms.

Articles (7)

Year:

2025

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

University of Chicago

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Liyi Li

Research Interests

Explore related searches

Contact this professor

About

Articles (7)

A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware

A formally certified end-to-end implementation of Shor’s factorization algorithm

Qunity: A Unified Language for Quantum and Classical Computing

A formal model of Checked C

A Verified Optimizer for Quantum Circuits

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm

Verified compilation of Quantum oracles

Collaborators (6)

Xiaodi Wu

Amr Sabry

Michael Hicks

Yuxiang Peng

Runzhou Tao

Robert Rand

Make your next move.