Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
Tags
entanglement
Apr 1, 2024
kleene algebra
Apr 1, 2024
quantum networks
Apr 1, 2024
certified compilation
Apr 1, 2024
circuit optimization
Apr 1, 2024
Formal verification
Apr 1, 2024
quantum computing
Apr 1, 2024
Computer languages;Adaptation models;Quantum computing;Current measurement;Computational modeling;Logic gates;Programming;quantum computing;programming languages;measurement-based quantum computing;one-way quantum computer;distributed computing
Jan 24, 2024
Academic
Dec 13, 2020
开源
Dec 13, 2020
»
Cite
×