Zhaowei Xu

Latest

• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
• Formal Methods for Quantum Programs: A Survey