Ming Xu

A fresh approach to ensure mixed quantum and classical programs are correct.

Introducing Dual-Space Optimization to enhance drug design processes.

Analyzing termination issues in nondeterministic quantum programs using mathematical techniques.

A new approach tackles action segmentation in lengthy videos using optimal transport.