Mingsheng Ying

Professor

University of Sydney

Australia

Research Interests

Explore related searches

Professors in Australia

Contact this professor

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

About

Mingsheng Ying is a Professor at the University of Technology Sydney, Australia. His research primarily focuses on quantum programming, formal verification of quantum programs, and the development of efficient quantum algorithms. Recent publications include topics such as quantum error correction, quantum circuit testing, and symbolic execution in quantum computing.

Articles (10)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Collaborators (1)

Xiaodi Wu

University of Maryland

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Mingsheng Ying

Research Interests

Explore related searches

Contact this professor

About

Articles (10)

Laws of Quantum Programming

Efficient Formal Verification of Quantum Error Correcting Programs

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs

A Divide-And-Conquer Pebbling Strategy for Oracle Synthesis in Quantum Computing

Automatic Test Pattern Generation for Robust Quantum Circuit Testing

Quantum Büchi automata

Symbolic Execution for Quantum Error Correction Programs

Quantum Algorithm for Lexicographically Minimal String Rotation

Differentiable Quantum Programming with Unbounded Loops

Collaborators (1)

Xiaodi Wu

Make your next move.