Dongho Lee

Latest

• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
• Formal Methods for Quantum Programs: A Survey
• ReQWIRE: Reasoning about Reversible Quantum Circuits