PLanQC 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (53)

A Vytautas AbramaviciusAbramavicius, Vytautas PASQAL SAS Qadence: a differentiable interface for digital-analog programs
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
B Gert-Jan BothBoth, Gert-Jan PASQAL SAS Qadence: a differentiable interface for digital-analog programs
C Lorenzo CeragioliCeragioli, Lorenzo IMT Lucca, Italy Effect Semantics for Quantum Protocols
Andrea ColledanColledan, Andrea University of Bologna & INRIA Sophia Antipolis Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abstract)
D Mario DagradaDagrada, Mario PASQAL SAS Qadence: a differentiable interface for digital-analog programs
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abstract)
Kinnari DaveDave, Kinnari Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles Quantum and Classical Control (work-in-progress)
Ulrik de Muelenaerede Muelenaere, Ulrik University of Notre Dame QGAT: A Generate-and-Test Paradigm for Quantum Circuits
Ross DuncanDuncan, Ross Quantinuum Session Chair of Compilation (part of PLanQC) GUPPY: Pythonic Quantum-Classical Programming Introducing BRAT Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Alejandro Díaz-CaroDíaz-Caro, Alejandro ICC (UBA-CONICET) & UNQArgentina A feasible and unitary programming language with quantum control
E Vincent ElfvingElfving, Vincent PASQAL SAS Qadence: a differentiable interface for digital-analog programs
G Fabio GadducciGadducci, Fabio University of Pisa Effect Semantics for Quantum Protocols
Cassandra GranadeGranade, Cassandra Dual Space Solutions, LLC Committee Member in Program Committee within the PLanQC-track
Roland GuichardGuichard, Roland PASQAL SAS Qadence: a differentiable interface for digital-analog programs
H Emmanuel HainryHainry, Emmanuel LORIA, Université de Lorraine A feasible and unitary programming language with quantum control
Niklas HeimHeim, Niklas PASQAL SAS Qadence: a differentiable interface for digital-analog programs
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States Committee Member in Program Committee within the PLanQC-track
Kengo HirataHirata, Kengo University of Edinburgh Quantum Controlled Measurements via Program Transformation
K Robin KaarsgaardKaarsgaard, Robin University of Southern DenmarkDenmark Committee Member in Program Committee within the PLanQC-track
Aleks KissingerKissinger, Aleks University of Oxford Session Chair of New Directions for Quantum Programming (part of PLanQC) Graphical Primitive Recursion For String Diagrams Optimal compilation of parametrised quantum circuits
Mark KochKoch, Mark Quantinuum GUPPY: Pythonic Quantum-Classical Programming Introducing BRAT
L Tuomas LaakkonenLaakkonen, Tuomas Quantinuum Optimal compilation of parametrised quantum circuits
Alan LawrenceLawrence, Alan Quantinuum GUPPY: Pythonic Quantum-Classical Programming Introducing BRAT
Louis LemonnierLemonnier, Louis Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles Quantum and Classical Control (work-in-progress)
Giuseppe LomurnoLomurno, Giuseppe University of Pisa, Italy Effect Semantics for Quantum Protocols
M Conor McBrideMcBride, Conor University of Strathclyde Monoidal Adventures Introducing BRAT
João P. MoutinhoMoutinho, João P. PASQAL SAS Qadence: a differentiable interface for digital-analog programs
P Jennifer PaykinPaykin, Jennifer Intel LabsUnited States Committee Member in Program Committee within the PLanQC-track
Anurudh PeduriPeduri, Anurudh Ruhr University Bochum QbC: Quantum Correctness by Construction
Romain PéchouxPéchoux, Romain Université de Lorraine; CNRS; Inria; LORIAFrance A feasible and unitary programming language with quantum control Quantum and Classical Control (work-in-progress)
R Robert RandRand, Robert University of ChicagoUnited States Session Chair of Verification (part of PLanQC) Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Mathys RennelaRennela, Mathys INRIA ParisFrance Session Chair of Quantum Types (part of PLanQC) Committee Member in Program Committee within the PLanQC-track Program Chair in Organizing Committee within the PLanQC-track
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada Committee Member in Program Committee within the PLanQC-track Committee Member in Organizing Committee within the PLanQC-track
Craig RoyRoy, Craig Quantinuum Introducing BRAT
S Amr SabrySabry, Amr Indiana UniversityUnited States Committee Member in Program Committee within the PLanQC-track
Ina SchaeferSchaefer, Ina KITGermany QbC: Quantum Correctness by Construction
Dominik SeitzSeitz, Dominik PASQAL SAS Qadence: a differentiable interface for digital-analog programs
Peter SelingerSelinger, Peter Dalhousie UniversityCanada Committee Member in Program Committee within the PLanQC-track
Mário SilvaSilva, Mário LORIA, Université de Lorraine A feasible and unitary programming language with quantum control
Kartik SinghalSinghal, Kartik QuantinuumUnited States GUPPY: Pythonic Quantum-Classical Programming
Seyon SivarajahSivarajah, Seyon Quantinuum GUPPY: Pythonic Quantum-Classical Programming
Kate SmithSmith, Kate Committee Member in Program Committee within the PLanQC-track
Lucas StinchcombeStinchcombe, Lucas Simon Fraser University Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm
T Gabriele TedeschiTedeschi, Gabriele University of Pisa, Italy Effect Semantics for Quantum Protocols
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Quantum Controlled Measurements via Program Transformation
V John van de Weteringvan de Wetering, John University of AmsterdamNetherlands Optimal compilation of parametrised quantum circuits Committee Member in Program Committee within the PLanQC-track
W Michael WalterWalter, Michael Ruhr-Universität Bochum QbC: Quantum Correctness by Construction Committee Member in Program Committee within the PLanQC-track
Aleksander WennersteenWennersteen, Aleksander PASQAL SAS Qadence: a differentiable interface for digital-analog programs
Y Richie YeungYeung, Richie University of Oxford Optimal compilation of parametrised quantum circuits
Z Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance Quantum and Classical Control (work-in-progress)
Zhulien ZhelezchevZhelezchev, Zhulien University of Bristol Graphical Primitive Recursion For String Diagrams
Margherita ZorziZorzi, Margherita Committee Member in Program Committee within the PLanQC-track