234 citations · 242 across the 3 of their papers we have counts for
3 papers
Bridging the Quantum Divide: A Learning-Centric Quantum Hackathon for Underrepresented Students (Extended Version)
Fahimeh Bayeh, Linh Dinh, Dongho Lee +1
This paper describes the design and implementation of a two-day quantum hackathon for underrepresented high school students in Nova Scotia, Canada. The first day of the hackathon i…
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
Dongho Lee, Valentin Perrelle, Benoît Valiron +1
In this paper, we introduce dynamic lifting to a quantum circuit-description language, following the Proto-Quipper language approach. Dynamic lifting allows programs to transfer th…
Formal Methods for Quantum Programs: A Survey
Christophe Chareton, Sébastien Bardin, Dongho Lee +3
While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantu…