PLanQC 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (72)

A Thomas AlexanderAlexander, Thomas IBM T.J. Watson Research Center, New York, USA Tuning up entanglement through the cloud using Qiskit-OpenPulse
Matthew AmyAmy, Matthew Committee Member in Program Committee within the PLanQC-track
Pablo Andres-MartinezAndres-Martinez, Pablo University of EdinburghUnited Kingdom Automated distribution of quantum circuits via hypergraph partitioning
B Sébastien BardinBardin, Sébastien CEA LISTFrance Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control Qbricks: formal verification in quantum computing
François BobotBobot, François CEA Qbricks: formal verification in quantum computing
C Christopĥe CharetonChareton, Christopĥe CEA, LIST, France Qbricks: formal verification in quantum computing
Dong ChenChen, Dong Department of Computing Science, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Fucheng ChengCheng, Fucheng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Frederic T. ChongChong, Frederic T. University of ChicagoUnited States Invited Talk: Resource-Efficient Quantum Computing by Breaking Abstractions
Andrew CrossCross, Andrew IBM Research Committee Member in Program Committee within the PLanQC-track
D Haowei DengDeng, Haowei University of Science and Technology of China Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices
Mingtang DengDeng, Mingtang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Xi DengDeng, Xi Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Yuxin DengDeng, Yuxin East China Normal University Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Eugene DumitrescuDumitrescu, Eugene Oak Ridge National Laboratory Extending Modern C++ for Heterogeneous Quantum-Classical Computing
Ross DuncanDuncan, Ross Cambridge Quantum Computing Committee Member in Program Committee within the PLanQC-track
Alejandro Díaz-CaroDíaz-Caro, Alejandro ICC (UBA-CONICET) & UNQArgentina Runtime Analysis of Quantum Programs: A Formal Approach
E Daniel EggerEgger, Daniel IBM Research, Zurich, Switzerland Tuning up entanglement through the cloud using Qiskit-OpenPulse
F Yuan FengFeng, Yuan Centre for Quantum Software and Information, University of Technology Sydney, Australia Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Frank FuFu, Frank Session Chair of Invited Talks, Pulses, Errors and Categories (part of PLanQC)
Xiang FuFu, Xiang Institute for Quantum Information & State Key Laboratory of High Performance Computing, College of Computer, National University of Defense Technology, Changsha, ChinaChina Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
G Andrew N. GlaudellGlaudell, Andrew N. University of Maryland Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
Chris GranadeGranade, Chris Microsoft Committee Member in Program Committee within the PLanQC-track
H Bettina HeimHeim, Bettina Microsoft Invited Talk: Q# - Going Beyond Quantum Circuits Committee Member in Program Committee within the PLanQC-track
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom Automated distribution of quantum circuits via hypergraph partitioning
Michael HicksHicks, Michael University of MarylandUnited States Session Chair of Quantum-Classical Communication (part of PLanQC) Verified translation between low-level quantum languages Tracking Errors through Types in Quantum Programs A Verified Optimizer for Quantum Circuits Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages Organizer in Organizing Committee within the PLanQC-track
Kesha HietalaHietala, Kesha University of Maryland Tracking Errors through Types in Quantum Programs A Verified Optimizer for Quantum Circuits Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
Chunchao HuHu, Chunchao School of Information Engineering, Zhengzhou University, Zhengzhou, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Anqi HuangHuang, Anqi Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Guangyao HuangHuang, Guangyao Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Yipeng HuangHuang, Yipeng Princeton UniversityUnited States Committee Member in Program Committee within the PLanQC-track
Shih-Han HungHung, Shih-Han University of Maryland A Verified Optimizer for Quantum Circuits Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
J Ali Javadi-AbhariJavadi-Abhari, Ali IBM T.J. Watson Research Center, New York, USA Tuning up entanglement through the cloud using Qiskit-OpenPulse
Hanru JiangJiang, Hanru Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, ChinaChina Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Lei JinJin, Lei School of Information Engineering, Zhengzhou University, Zhengzhou, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
K Naoki KanazawaKanazawa, Naoki IBM Research, Tokyo, Japan Tuning up entanglement through the cloud using Qiskit-OpenPulse
Aleks KissingerKissinger, Aleks Radboud University Committee Member in Program Committee within the PLanQC-track
Andre KornellKornell, Andre Tulane University Quantum CPOs
L Dongho LEELEE, Dongho LRI / CEA LIST, Univ Paris Saclay Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
Quanxi LiLi, Quanxi University of Science and Technology of ChinaChina Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices
Bert LindenhoviusLindenhovius, Bert Tulane University Quantum CPOs
Wanwei LiuLiu, Wanwei National University of Defense Technology Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Pavel LougovskiLougovski, Pavel Oak Ridge National Laboratory Extending Modern C++ for Heterogeneous Quantum-Classical Computing
M Alexander McCaskeyMcCaskey, Alexander Oak Ridge National Laboratory Extending Modern C++ for Heterogeneous Quantum-Classical Computing
David C. McKayMcKay, David C. IBM T.J. Watson Research Center, New York, USA Tuning up entanglement through the cloud using Qiskit-OpenPulse
Tiffany MintzMintz, Tiffany Oak Ridge National Laboratory Extending Modern C++ for Heterogeneous Quantum-Classical Computing
Michael MisloveMislove, Michael Tulane Quantum CPOs
Shirley MooreMoore, Shirley Oak Ridge National Laboratory Extending Modern C++ for Heterogeneous Quantum-Classical Computing
O Federico OlmedoOlmedo, Federico University of Chile & IMFD Chile Runtime Analysis of Quantum Programs: A Formal Approach
P Jennifer PaykinPaykin, Jennifer Galois, Inc.United States Invited Talk: Quantum Computing for Programming Languages Researchers Committee Member in Program Committee within the PLanQC-track
Valentin PerrellePerrelle, Valentin CEA, LIST, France Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control Qbricks: formal verification in quantum computing
Sarah PowersPowers, Sarah Oak Ridge National Laboratory Extending Modern C++ for Heterogeneous Quantum-Classical Computing
Q Xiaogang QiangQiang, Xiaogang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
R Robert RandRand, Robert University of MarylandUnited States Session Chair of Introduction and Invited Talks (part of PLanQC) Verified translation between low-level quantum languages Tracking Errors through Types in Quantum Programs A Verified Optimizer for Quantum Circuits Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages Organizer in Organizing Committee within the PLanQC-track Chair in Program Committee within the PLanQC-track
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation Committee Member in Program Committee within the PLanQC-track
S Peter SelingerSelinger, Peter Dalhousie University Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper
Kartik SinghalSinghal, Kartik University of ChicagoUnited States Verified translation between low-level quantum languages Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
Xing SuSu, Xing College of Meteorology and Oceanography, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
T Jacob M. TaylorTaylor, Jacob M. University of Maryland Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
U Dominique UnruhUnruh, Dominique University of Tartu Session Chair of Formal Methods (part of PLanQC) Committee Member in Program Committee within the PLanQC-track
V Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control Qbricks: formal verification in quantum computing Committee Member in Program Committee within the PLanQC-track
W Hua WuWu, Hua Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Junjie WuWu, Junjie Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Xiaodi WuWu, Xiaodi University of Maryland, College ParkUnited States A Verified Optimizer for Quantum Circuits Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages Organizer in Organizing Committee within the PLanQC-track
X Le XuXu, Le School of Information Engineering, Zhengzhou University, Zhengzhou, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Ping XuXu, Ping Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Y Yihang YangYang, Yihang School of Information Engineering, Zhengzhou University, Zhengzhou, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Mingsheng YingYing, Mingsheng University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.Australia Committee Member in Program Committee within the PLanQC-track
Jintao YuYu, Jintao State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Z Will ZengZeng, Will Unitary FundUnited States Session Chair of NISQ (part of PLanQC) Committee Member in Program Committee within the PLanQC-track
Jinrong ZhangZhang, Jinrong Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
Yu ZhangZhang, Yu University of Science and Technology of China Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices