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 Quantum Programming with Data Structures Analyzing quantum programs using the power of interaction Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
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