Home
- Home
- Mission
- Projects
- 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 (QuTe)
- 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 and Benchmarking Environment for Trapped-Ion Quantum Computing (ComfortQC)
- P13: Construction of Advanced Dynamic Quantum Circuits: Towards Resource Optimization and Fidelity Improvement (ConAD-QC)