Dongho LEE -

Registered user since Wed 15 Jan 2020

Name:Dongho LEE

Country:Canada

Affiliation:Dalhousie University

GitHub: https://github.com/fredldh

Research interests:Programming languages, quantum computation, formal methods, categorical semantics

Contributions

2025

PLanQC

Committee Member in Program Committee within the PLanQC 2025-track

2020

PLanQC

Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track