PLanQC 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
B Lev S. BishopBishop, Lev S. IBM Quantum Optimal synthesis into fixed XX interactions
Sebastian BockBock, Sebastian Fraunhofer Institute for Open Communication Systems Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Robert BoothBooth, Robert The University of Edinburgh Committee Member in Program Committee within the PLanQC-track
Agustín BorgnaBorgna, Agustín Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, FranceArgentina Encoding High-level Quantum Programs as SZX-diagrams
C Michael CarbinCarbin, Michael MIT CSAILUnited States Quantum Programming with Data Structures
D Liliane-Joy DandyDandy, Liliane-Joy EPFL, Ecole Polytechnique Type-safe (Variational) Quantum Programming in Idris
Olivia Di MatteoDi Matteo, Olivia University of British Columbia Committee Member in Program Committee within the PLanQC-track
Yufei DingDing, Yufei University of California at Santa Barbara Committee Member in Program Committee within the PLanQC-track
Ross DuncanDuncan, Ross Cambridge Quantum Computing Session Chair of Formalization, verification, and correctness (part of PLanQC) Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
F Peng FuFu, Peng Dalhousie University Committee Member in Program Committee within the PLanQC-track
G Cassandra GranadeGranade, Cassandra Microsoft Committee Member in Program Committee within the PLanQC-track
H Manfred HauswirthHauswirth, Manfred Fraunhofer Institute for Open Communication Systems, TU Berlin Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Kesha HietalaHietala, Kesha University of MarylandUnited States Q: Implementing Quantum Separation Logic in F Committee Member in Program Committee within the PLanQC-track
J Ali Javadi-AbhariJavadi-Abhari, Ali IBM Quatum Optimal synthesis into fixed XX interactions
Emmanuel JeandelJeandel, Emmanuel LORIA, University of Lorraine Type-safe (Variational) Quantum Programming in Idris
K Kohei KishidaKishida, Kohei University of Illinois Urbana-Champaign Committee Member in Program Committee within the PLanQC-track
Aleks KissingerKissinger, Aleks Radboud University Committee Member in Program Committee within the PLanQC-track
L Bert LindenhoviusLindenhovius, Bert JKU LinzAustria Committee Member in Program Committee within the PLanQC-track
M Sarah MarshallMarshall, Sarah Microsoft Quantum Q: Implementing Quantum Separation Logic in F
Christopher McNallyMcNally, Christopher MIT RLEUnited States Analyzing quantum programs using the power of interaction
P Eric C. PetersonPeterson, Eric C. IBM Quantum Optimal synthesis into fixed XX interactions
R Robert RandRand, Robert University of ChicagoUnited States Session Chair of Quantum programming languages and paradigms (part of PLanQC) Q: Implementing Quantum Separation Logic in F Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Mathys RennelaRennela, Mathys Inria Committee Member in Program Committee within the PLanQC-track
Rafael RomeroRomero, Rafael Universidad de Buenos Aires, Universidad de la República Encoding High-level Quantum Programs as SZX-diagrams
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada PC Chair in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
S Amr SabrySabry, Amr Indiana UniversityUnited States Session Chair of Synthesis and compilation (part of PLanQC)
Hisham SatiSati, Hisham New York University, Abu Dhabi Topological Quantum Programming in TED-K
Urs SchreiberSchreiber, Urs New York University, Abu Dhabi Topological Quantum Programming in TED-K
Raphael SeidelSeidel, Raphael Fraunhofer Institute for Open Communication Systems Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Kartik SinghalSinghal, Kartik University of ChicagoUnited States Session Chair of Hardware-aware quantum programming (part of PLanQC)
Mathias SoekenSoeken, Mathias Microsoft Committee Member in Program Committee within the PLanQC-track
Sam StatonStaton, Sam University of Oxford Committee Member in Program Committee within the PLanQC-track
Nikhil SwamySwamy, Nikhil MSR RedmondUnited States Q: Implementing Quantum Separation Logic in F
T Nikolay TcholtchevTcholtchev, Nikolay Fraunhofer Institute for Open Communication Systems Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
U Dominique UnruhUnruh, Dominique University of Tartu Quantum relational Hoare logic, towards a formalization
V Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Committee Member in Program Committee within the PLanQC-track
John van de Weteringvan de Wetering, John University of Oxford Adventures in Qutrit Compilation
Agnes VillanyiVillanyi, Agnes MIT Analyzing quantum programs using the power of interaction
Y Lia YehYeh, Lia University of Oxford Adventures in Qutrit Compilation
Charles YuanYuan, Charles MIT CSAILUnited States Analyzing quantum programs using the power of interaction Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs Quantum Programming with Data Structures
Z Vladimir ZamdzhievZamdzhiev, Vladimir Inria, LORIA, Université de LorraineFrance Type-safe (Variational) Quantum Programming in Idris Committee Member in Program Committee within the PLanQC-track