Home
- Home
- Mission
- Projects
- P1: Practical Measurement-based Quantum Computing
- P5: Towards Software for Fault Tolerant Quantum Computing
- P8: Optimized Quantum Software Testing based on Functional Property Specifications and Quantum State Verification Techniques (QuTe)
- P10: Seamless Development of Quantum Software with Stakeholder-Specific Views (MoQel)
- 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)