WQS 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (51)

A Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the WQS-track
Nicola AssoliniAssolini, Nicola Università degli Studi di VeronaItaly A Static Analysis for High-Level Quantum Programming Languages Committee Member in Program Committee within the WQS-track co-rganizer in Organizing Committee within the WQS-track
B Carsten BlankBlank, Carsten data cybernetics ssc GMbHGermany Organizer in Organizing Committee within the WQS-track
George BoothBooth, George King's College London Classical Shadows for Property-Based Testing of Quantum Programs
Lukas BurgholzerBurgholzer, Lukas Technical University of Munich Supporting End-Users in Realizing Quantum Computing Applications
C Stefano CarrazzaCarrazza, Stefano Università degli Studi di Milano Towards an open-source framework to perform quantum calibration and characterization
D Olivia Di MatteoDi Matteo, Olivia University of British Columbia Committee Member in Program Committee within the WQS-track
Alessandra Di PierroDi Pierro, Alessandra University of Verona, ItalyItaly A Static Analysis for High-Level Quantum Programming Languages Committee Member in Program Committee within the WQS-track Co-chair in Organizing Committee within the WQS-track
Ross DuncanDuncan, Ross Quantinuum Committee Member in Program Committee within the WQS-track
F Israel F. AraujoF. Araujo, Israel Yonsei University Seoul Committee Member in Program Committee within the WQS-track
Wang FangFang, Wang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences Efficient Formal Verification of Quantum Error Correcting Programs
Sebastian FeldFeld, Sebastian Delft University of TechnologyNetherlands Committee Member in Program Committee within the WQS-track
G Stefano GogiosoGogioso, Stefano University of Oxford Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
H Manfred HauswirthHauswirth, Manfred Fraunhofer Institute for Open Communication Systems, TU Berlin Quantum Backtracking in Qrisp Applied to Sudoku Problems
Bettina HeimHeim, Bettina NVIDIA Quantum application development for multi-processor systems using CUDA-Q
Qifan HuangHuang, Qifan Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences Efficient Formal Verification of Quantum Error Correcting Programs
K Aleks KissingerKissinger, Aleks University of Oxford Hybrid Quantum-Classical Machine Learning with String Diagrams
Alexander Koziell-PipeKoziell-Pipe, Alexander University of Oxford Hybrid Quantum-Classical Machine Learning with String Diagrams
L Connor LenihanLenihan, Connor King's College London Classical Shadows for Property-Based Testing of Quantum Programs
David LiuLiu, David Quantum Backtracking in Qrisp Applied to Sudoku Problems
Junjie LuoLuo, Junjie Kyushu University Dataflow-Based Optimization for QIR Programs
M Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly A Static Analysis for High-Level Quantum Programming Languages
Mohammad Reza MousaviMousavi, Mohammad Reza King's College LondonUnited Kingdom Classical Shadows for Property-Based Testing of Quantum Programs
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee within the WQS-track
Andrea PasqualePasquale, Andrea Università degli Studi di Milano Towards an open-source framework to perform quantum calibration and characterization
Edoardo PedicilloPedicillo, Edoardo Università degli Studi di Milano Towards an open-source framework to perform quantum calibration and characterization
Sinan PehlivanogluPehlivanoglu, Sinan Indiana University Classical Simulation of Quantum Circuits with Partial Interference Effects
Matic PetričPetrič, Matic Quantum Backtracking in Qrisp Applied to Sudoku Problems
Gabriel Joseph PontolilloPontolillo, Gabriel Joseph King's College London Classical Shadows for Property-Based Testing of Quantum Programs
Q Nils QuetschlichQuetschlich, Nils Technical University of Munich Supporting End-Users in Realizing Quantum Computing Applications
R Robert RandRand, Robert University of ChicagoUnited States Committee Member in Program Committee within the WQS-track
Zander RenéRené, Zander Quantum Backtracking in Qrisp Applied to Sudoku Problems
Wille RobertRobert, Wille Johannes Kepler University Linz, Austria Supporting End-Users in Realizing Quantum Computing Applications Committee Member in Program Committee within the WQS-track
Damian RovaraRovara, Damian Technical University of Munich Supporting End-Users in Realizing Quantum Computing Applications
S Amr SabrySabry, Amr Indiana UniversityUnited States Classical Simulation of Quantum Circuits with Partial Interference Effects
Raphael SeidelSeidel, Raphael Fraunhofer Institute for Open Communication Systems Quantum Backtracking in Qrisp Applied to Sudoku Problems
Razin A. ShaikhShaikh, Razin A. University of Oxford Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
Nathan ShammahShammah, Nathan Unitary Fund Mitiq, a toolbox for quantum error mitigation and error suppression
Yunong ShiShi, Yunong AWS Quantum TechnologiesUnited States Committee Member in Program Committee within the WQS-track
Kate SmithSmith, Kate Committee Member in Program Committee within the WQS-track
Pawel SobocinskiSobocinski, Pawel Tallinn University of Technology From ZX to first order logic: a survey of string diagrammatic calculi
Sam StatonStaton, Sam University of OxfordUnited Kingdom Committee Member in Program Committee within the WQS-track
Niklas SteinmannSteinmann, Niklas Quantum Backtracking in Qrisp Applied to Sudoku Problems
T Nikolay TcholtchevTcholtchev, Nikolay Fraunhofer Institute for Open Communication Systems Quantum Backtracking in Qrisp Applied to Sudoku Problems
W Scott WesleyWesley, Scott University of Waterloo, Canada Verifying Quantum Circuits in GAP
Y Lia YehYeh, Lia University of Oxford Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina Efficient Formal Verification of Quantum Error Correcting Programs Committee Member in Program Committee within the WQS-track Co-chair in Organizing Committee within the WQS-track
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Quantum program analysis: Verification and Testing
Z Haoyuan ZhangZhang, Haoyuan Kyushu University Dataflow-Based Optimization for QIR Programs
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Dataflow-Based Optimization for QIR Programs
Li ZhouZhou, Li MPI-SP; Institute of Software at Chinese Academy of SciencesGermany Efficient Formal Verification of Quantum Error Correcting Programs Committee Member in Program Committee within the WQS-track