Mingsheng Ying

A formal approach to identify privacy violations in quantum computing algorithms.

Examining model checking methods for assessing quantum systems and their behaviors.

VeriQR improves robustness in quantum machine learning models against noise.

Explore the basics and applications of quantum programming in a simple way.