PLanQC 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (91)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden An Automata-based Framework for Quantum Circuit Verification
Carmen AlmudéverAlmudéver, Carmen Universitat Politècnica de València Committee Member in Program Committee within the PLanQC-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Lightweight functional verification of quantum programs Organizing Committee in Organizing Committee within the PLanQC-track
B Olga BecciBecci, Olga University of Bologna Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics
Aaron BerdyBerdy, Aaron AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
Agustin BorgnaBorgna, Agustin Quantinuum HUGR: A Quantum-Classical Intermediate Representation Imperative Quantum Programming with Ownership and Borrowing in Guppy
C Lauren CapellutoCapelluto, Lauren AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
William CashmanCashman, William University of Oxford Fusion and flow: formal protocols to reliably build photonic graph states
Le ChangChang, Le University of Maryland, College Park The Quantum Abstract Machine
Christopĥe CharetonChareton, Christopĥe CEA, LIST, France Committee Member in Program Committee within the PLanQC-track
Yi-Ting ChenChen, Yi-Ting AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
Yo-Ga ChenChen, Yo-Ga Academia Sinica An Automata-based Framework for Quantum Circuit Verification
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan An Automata-based Framework for Quantum Circuit Verification
Kshitij ChhabraChhabra, Kshitij AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
Vikraman ChoudhuryChoudhury, Vikraman Università di Bologna & Inria OLASItaly Towards Quantum Multiparty Session Types
Kai-Min ChungChung, Kai-Min Academia Sinica An Automata-based Framework for Quantum Circuit Verification
Rance CleavelandCleaveland, Rance University of Maryland The Quantum Abstract Machine
Andrea ColledanColledan, Andrea University of Bologna & INRIA Sophia Antipolis Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics
D Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics Towards Quantum Multiparty Session Types
Giovanni de Felicede Felice, Giovanni Quantinuum Fusion and flow: formal protocols to reliably build photonic graph states
Arianne Meijer-van de Griendde Griend, Arianne Meijer-van University of Helsinki Committee Member in Program Committee within the PLanQC-track
Ross DuncanDuncan, Ross Quantinuum Session Chair of Session 3 (part of PLanQC) HUGR: A Quantum-Classical Intermediate Representation Imperative Quantum Programming with Ownership and Borrowing in Guppy
Ross DuncanDuncan, Ross Quantinuum Organizing Committee in Organizing Committee within the PLanQC-track
Alejandro Díaz-CaroDíaz-Caro, Alejandro INRIA / LORIA & UNQFrance Committee Member in Program Committee within the PLanQC-track
E Alec EdgingtonEdgington, Alec Quantinuum HUGR: A Quantum-Classical Intermediate Representation
F Simone FaroFaro, Simone University of Catania Qutes: a Pathway to High-Level Quantum Programming
Peng FuFu, Peng University of South Carolina Session Chair of Session 2 (part of PLanQC) Proto-Quipper with Reversing and Control
G Stefano GogiosoGogioso, Stefano University of Oxford The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
H Matthew P HarriganHarrigan, Matthew P Google Quantum AI Expressing and Analyzing Quantum Algorithms with Qualtran
Lukas HeidemannHeidemann, Lukas Quantinuum HUGR: A Quantum-Classical Intermediate Representation
Kengo HirataHirata, Kengo University of Edinburgh Concurrent Quantum Separation Logic for Fine-Grained Parallelism
Lukáš HolíkHolík, Lukáš Brno University of TechnologyCzechia An Automata-based Framework for Quantum Circuit Verification
Yipeng HuangHuang, Yipeng Rutgers UniversityUnited States Sdim: A Qudit Stabilizer Simulator
I Ilan IwumbweIwumbwe, Ilan Imperial College LondonUganda QuteFuzz: Fuzzing quantum compilers using randomly generated circuits with control flow and subcircuits
J Jean-Christophe JaskulaJaskula, Jean-Christophe AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
K Adeeb KabirKabir, Adeeb Rutgers University Sdim: A Qudit Stabilizer Simulator
Eric KesslerKessler, Eric AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
Tijil KiranKiran, Tijil Rutgers University Sdim: A Qudit Stabilizer Simulator
Kohei KishidaKishida, Kohei University of Illinois at Urbana-ChampaignUnited States Proto-Quipper with Reversing and Control
Mark KochKoch, Mark Quantinuum HUGR: A Quantum-Classical Intermediate Representation Imperative Quantum Programming with Ownership and Borrowing in Guppy
Anika KumarKumar, Anika Rutgers University Sdim: A Qudit Stabilizer Simulator
Thi Ha KyawKyaw, Thi Ha LG Electronics Toronto AI Lab Restricted Evolution as a Strategy for Constant Runtime Error Mitigation
L Ivan LaneseLanese, Ivan University of Bologna/INRIA Towards Quantum Multiparty Session Types
Alan LawrenceLawrence, Alan Quantinuum HUGR: A Quantum-Classical Intermediate Representation Imperative Quantum Programming with Ownership and Borrowing in Guppy
Dongho LEELEE, Dongho Dalhousie UniversityCanada Committee Member in Program Committee within the PLanQC-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia An Automata-based Framework for Quantum Circuit Verification
Liyi LiLi, Liyi Iowa State UniversityUnited States The Quantum Abstract Machine Committee Member in Program Committee within the PLanQC-track
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan An Automata-based Framework for Quantum Circuit Verification
Benny Zong LiuLiu, Benny Zong Imperial College London QuteFuzz: Fuzzing quantum compilers using randomly generated circuits with control flow and subcircuits
Fang-Yi LoLo, Fang-Yi Academia Sinica An Automata-based Framework for Quantum Circuit Verification
M Francesco Pio MarinoMarino, Francesco Pio University of Catania, University of Rouen Qutes: a Pathway to High-Level Quantum Programming
Yusuke MatsushitaMatsushita, Yusuke Kyoto University Concurrent Quantum Separation Logic for Fine-Grained Parallelism
Gabriele MessinaMessina, Gabriele University of Catania Qutes: a Pathway to High-Level Quantum Programming
Mikhail MintsMints, Mikhail California Institute of Technology Compiling Qunity: From High-Level Quantum Programs to Circuits
Luca MondadaMondada, Luca University of OxfordUnited Kingdom HUGR: A Quantum-Classical Intermediate Representation
N Steven NguyenNguyen, Steven Rutgers University Sdim: A Qudit Stabilizer Simulator
P Jennifer PaykinPaykin, Jennifer IntelUnited States Session Chair of Session 1 (part of PLanQC) Programming with Projective Cliffords Program Chair in Program Committee within the PLanQC-track Chair in Organizing Committee within the PLanQC-track
Boldizsár PoórPoór, Boldizsár Quantinuum Fusion and flow: formal protocols to reliably build photonic graph states
R Robert RandRand, Robert University of ChicagoUnited States Session Chair of Session 4 (part of PLanQC) Compiling Qunity: From High-Level Quantum Programs to Circuits Organizing Committee in Organizing Committee within the PLanQC-track
Mathys RennelaRennela, Mathys WelinqFrance Organizing Committee in Organizing Committee within the PLanQC-track
Mitchell RileyRiley, Mitchell Committee Member in Program Committee within the PLanQC-track
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada Verifying the Equivalence of Parameterized Quantum Circuits Proto-Quipper with Reversing and Control Committee Member in Program Committee within the PLanQC-track
Craig RoyRoy, Craig Quantinuum HUGR: A Quantum-Classical Intermediate Representation Imperative Quantum Programming with Ownership and Borrowing in Guppy
S Gaurav SaxenaSaxena, Gaurav LG Electronics Toronto AI Lab Restricted Evolution as a Strategy for Constant Runtime Error Mitigation
Peter SelingerSelinger, Peter Dalhousie UniversityCanada Proto-Quipper with Reversing and Control
Ryan ShafferShaffer, Ryan AWS Quantum Technologies AutoQASM: Imperative quantum programming in Python
Razin A. ShaikhShaikh, Razin A. University of Oxford The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
Yunong ShiShi, Yunong AWS Quantum TechnologiesUnited States AutoQASM: Imperative quantum programming in Python
Kartik SinghalSinghal, Kartik QuantinuumUnited States Imperative Quantum Programming with Ownership and Borrowing in Guppy
Seyon SivarajahSivarajah, Seyon Quantinuum HUGR: A Quantum-Classical Intermediate Representation Imperative Quantum Programming with Ownership and Borrowing in Guppy
Kaitlin SmithSmith, Kaitlin Northwestern University Unlocking quantum potential with software and compilers
Sam StatonStaton, Sam University of OxfordUnited Kingdom Algebraic and denotational semantics for Classically Controlled Quantum Communication
T Wei-Lun TsaiTsai, Wei-Lun Academia Sinica An Automata-based Framework for Quantum Circuit Verification
V Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Committee Member in Program Committee within the PLanQC-track
Leonardo VenturiVenturi, Leonardo University of Bologna Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics
Finn VoichickVoichick, Finn University of MarylandUnited States Compiling Qunity: From High-Level Quantum Programs to Circuits
W Ryo WakizakaWakizaka, Ryo Kyoto UniversityJapan Concurrent Quantum Separation Logic for Fine-Grained Parallelism
Michael WalterWalter, Michael Ruhr-Universität Bochum Committee Member in Program Committee within the PLanQC-track
Theo WangWang, Theo University of Cambridge, University of OxfordUnited Kingdom Algebraic and denotational semantics for Classically Controlled Quantum Communication
Scott WesleyWesley, Scott Dalhousie University Verifying the Equivalence of Parameterized Quantum Circuits
John WickersonWickerson, John Imperial College LondonUnited Kingdom QuteFuzz: Fuzzing quantum compilers using randomly generated circuits with control flow and subcircuits
Douglas WilsonWilson, Douglas Quantinuum HUGR: A Quantum-Classical Intermediate Representation
Sam WinnickWinnick, Sam University of Waterloo Programming with Projective Cliffords
Xiaodi WuWu, Xiaodi University of MarylandUnited States The Quantum Abstract Machine
Y Kevin YeYe, Kevin Simon Fraser University Lightweight functional verification of quantum programs
Lia YehYeh, Lia University of Oxford Fusion and flow: formal protocols to reliably build photonic graph states The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation Committee Member in Program Committee within the PLanQC-track
Di-De YenYen, Di-De Academia Sinica An Automata-based Framework for Quantum Circuit Verification
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract)
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee within the PLanQC-track
Z Zhicheng ZhangZhang, Zhicheng University of Technology Sydney Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract)
Mingwei ZhuZhu, Mingwei University of Maryland, College Park The Quantum Abstract Machine