Projects
Description of the Projects
Please click on the projects below for more detailed information:
P1: Practical Measurement-based Quantum Computing
P2: Error-Aware Compilation of Quantum Circuits for the Rydberg Atom Platform (ECQuRyd)
P3: ACE-QC Fully Classical and Efficient Autonomous Calibration of Quantum Computers
P4: Bridging finite dimensional and infinite dimensional quantum systems — simulations and computational power
P5: Towards Software for Fault Tolerant Quantum Computing
P6: Novel quantum algorithms via classical cryptography
P7: Scaling Verification of Digital Quantum Simulation
P8: Optimized Quantum Software Testing based on Functional Property Specifications and Quantum State Verification Techniques
P9: Noise-aware Quantum Programming (NawaQ)
P10: Seamless Development of Quantum Software with Stakeholder-Specific Views (MoQel)
P11: Attestation for verification and validation in the quantum computing stack
P12: Compilation Environment and Benchmarking for Trapped-ion Quantum Computing
P13: ConAD-QC: Construction of Advanced Dynamic Quantum Circuits: Towards Resource Optimization and Fidelity Improvement
P2: Error-Aware Compilation of Quantum Circuits for the Rydberg Atom Platform (ECQuRyd)
P3: ACE-QC Fully Classical and Efficient Autonomous Calibration of Quantum Computers
P4: Bridging finite dimensional and infinite dimensional quantum systems — simulations and computational power
P5: Towards Software for Fault Tolerant Quantum Computing
P6: Novel quantum algorithms via classical cryptography
P7: Scaling Verification of Digital Quantum Simulation
P8: Optimized Quantum Software Testing based on Functional Property Specifications and Quantum State Verification Techniques
P9: Noise-aware Quantum Programming (NawaQ)
P10: Seamless Development of Quantum Software with Stakeholder-Specific Views (MoQel)
P11: Attestation for verification and validation in the quantum computing stack
P12: Compilation Environment and Benchmarking for Trapped-ion Quantum Computing
P13: ConAD-QC: Construction of Advanced Dynamic Quantum Circuits: Towards Resource Optimization and Fidelity Improvement