PLanQC 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (63)

A Thomas AlexanderAlexander, Thomas IBM T.J Watson Research Center Open Quantum Assembly Language
Matthew AmyAmy, Matthew Dalhousie UniversityCanada Session Chair of Session 1: Verification, programming & control (part of PLanQC) Committee Member in Organizing Committee within the PLanQC-track Chair in Program Committee within the PLanQC-track
Pablo ArrighiArrighi, Pablo Université Paris-Saclay, CNRS, LMF Addressable quantum gates
B Aniruddha BapatBapat, Aniruddha University of Maryland Quantum routing with fast reversals
Lev BishopBishop, Lev IBM T.J Watson Research Center Open Quantum Assembly Language
Lukas BurgholzerBurgholzer, Lukas Johannes Kepler University, Linz JKQ: JKU Tools for Quantum Computing
C Christopher CedzichCedzich, Christopher Quantum Technology Group, Heinrich Heine Universität Düsseldorf Addressable quantum gates
Andrew M. ChildsChilds, Andrew M. University of Maryland Quantum routing with fast reversals
Marin CostesCostes, Marin Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF Addressable quantum gates
Andrew CrossCross, Andrew IBM T.J Watson Research Center Open Quantum Assembly Language
D Niel de Beaudrapde Beaudrap, Niel University of Sussex Open Quantum Assembly Language
Giulia De SantisDe Santis, Giulia University of Verona qKleene: Verification of Quantum RAM Made Easy
Yufei DingDing, Yufei University of California at Santa Barbara Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
Ross DuncanDuncan, Ross Cambridge Quantum Computing Session Chair of Session 1: Verification, programming & control (part of PLanQC) Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the PLanQC-track
G Jay M. GambettaGambetta, Jay M. IBM T.J Watson Research Center Open Quantum Assembly Language
Akshaj GaurGaur, Akshaj Poolesville High School Expanding the VOQC Toolkit
Vlad GheorghiuGheorghiu, Vlad Institute for Quantum Computing, University of Waterloo, ON Canada Reducing the CNOT count for Clifford+T circuits on NISQ architectures
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly qKleene: Verification of Quantum RAM Made Easy
Alexey V. GorshkovGorshkov, Alexey V. University of Maryland Quantum routing with fast reversals
Chris GranadeGranade, Chris Microsoft Committee Member in Program Committee within the PLanQC-track
Aaron GreenGreen, Aaron University of Maryland Expanding the VOQC Toolkit
H Steven HeidelHeidel, Steven AWS Center for Quantum Computing Open Quantum Assembly Language
Michael HicksHicks, Michael University of Maryland at College Park Toward A Quantum Programming Language for Higher-Level Formal Verification Invited Talk: From Verified Compilation to Shor’s Algorithm Expanding the VOQC Toolkit
Kesha HietalaHietala, Kesha University of MarylandUnited States Expanding the VOQC Toolkit Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
Stefan HillmichHillmich, Stefan Johannes Kepler University, LinzAustria JKQ: JKU Tools for Quantum Computing
Yipeng HuangHuang, Yipeng Rutgers UniversityUnited States Committee Member in Program Committee within the PLanQC-track
J Ali Javadi-AbhariJavadi-Abhari, Ali IBM T.J Watson Research Center Session Chair of Session 2: Compilation & Types (part of PLanQC) Open Quantum Assembly Language Committee Member in Program Committee within the PLanQC-track
Blake R. JohnsonJohnson, Blake R. IBM T.J Watson Research Center Open Quantum Assembly Language
K Sarah KaiserKaiser, Sarah Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Peter J. KaralekasKaralekas, Peter J. Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Sam KingKing, Sam University of Rochester Quantum routing with fast reversals
L Brad LackeyLackey, Brad Microsoft Quantum, University of Maryland Extending Gottesman Types Beyond the Clifford Group
Ryan LaRoseLaRose, Ryan Unitary Fund, Michigan State University Mitiq: a Python toolkit for quantum error mitigation
Liyi LiLi, Liyi University of MarylandChina Expanding the VOQC Toolkit
Sarah LiLi, Sarah Reducing the CNOT count for Clifford+T circuits on NISQ architectures
M Andrea MariMari, Andrea Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Sarah MarshallMarshall, Sarah Microsoft Quantum Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
Giulia MeuliMeuli, Giulia EPFL Committee Member in Program Committee within the PLanQC-track
Michele MoscaMosca, Michele University of Waterloo Reducing the CNOT count for Clifford+T circuits on NISQ architectures
Priyanka MukhopadhyayMukhopadhyay, Priyanka Institue for Quantum Computing, University of Waterloo Reducing the CNOT count for Clifford+T circuits on NISQ architectures
P Jennifer PaykinPaykin, Jennifer Galois, Inc.United States Session Chair of Session 2: Compilation & Types (part of PLanQC) Committee Member in Program Committee within the PLanQC-track
R Robert RandRand, Robert University of ChicagoUnited States Session Chair of Session 3: Reliable quantum computing (part of PLanQC) Extending Gottesman Types Beyond the Clifford Group Expanding the VOQC Toolkit Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the PLanQC-track
Ulysse RemondRemond, Ulysse Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMFFrance Addressable quantum gates
Mathys RennelaRennela, Mathys INRIA ParisFrance Committee Member in Program Committee within the PLanQC-track
Wille RobertRobert, Wille Johannes Kepler University, Linz JKQ: JKU Tools for Quantum Computing
Colm A. RyanRyan, Colm A. AWS Center for Quantum Computing Open Quantum Assembly Language
S Eddie SchouteSchoute, Eddie University of Maryland Quantum routing with fast reversals
Peter SelingerSelinger, Peter Dalhousie University Committee Member in Program Committee within the PLanQC-track
Nathan ShammahShammah, Nathan Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Hrishee ShastriShastri, Hrishee Reed College Quantum routing with fast reversals
Kartik SinghalSinghal, Kartik University of ChicagoUnited States Extending Gottesman Types Beyond the Clifford Group Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
John SmolinSmolin, John IBM T.J Watson Research Center Open Quantum Assembly Language
Aarthi SundaramSundaram, Aarthi Microsoft Quantum Extending Gottesman Types Beyond the Clifford Group
U Dominique UnruhUnruh, Dominique University of Tartu Quantum and classical registers Committee Member in Program Committee within the PLanQC-track
V Benoit ValironValiron, Benoit Université Paris-Saclay, CNRS, CentraleSupélec, LMFFrance Addressable quantum gates
John van de Weteringvan de Wetering, John University of Oxford, Radboud Universiteit Nijmegen Invited Talk: Quantum compilation using the ZX-calculus
Finn VoichickVoichick, Finn University of Maryland Toward A Quantum Programming Language for Higher-Level Formal Verification
W Xiaodi WuWu, Xiaodi University of Maryland Expanding the VOQC Toolkit Committee Member in Program Committee within the PLanQC-track
Y Nengkun YuYu, Nengkun UTSn.n. Committee Member in Program Committee within the PLanQC-track
Z Vladimir ZamdzhievZamdzhiev, Vladimir Inria NancyFrance Committee Member in Program Committee within the PLanQC-track
Will ZengZeng, Will Unitary FundUnited States Committee Member in Program Committee within the PLanQC-track
William J. ZengZeng, William J. Unitary Fund, Goldman Sachs Mitiq: a Python toolkit for quantum error mitigation
Margherita ZorziZorzi, Margherita University of VeronaItaly qKleene: Verification of Quantum RAM Made Easy Committee Member in Program Committee within the PLanQC-track