KIT - Karlsruhe Institute of Technology image/svg+xml
Priority Programme 2514
  • skip navigation
  • Home
  • Legals
  • Privacy Policy
  • Accessibility
  • Sitemap
  • KIT
    search
    • Mission
    • Projects
      • Projects
      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)
    • Events
      • Events
      Events
      • Q-STAV
      • Events 2026
      • Events 2025
      • Events 2024
    • Members
    • YIN
    • Get Involved
    • Intern
    • Startpage
    • Home
    • Legals
    • Privacy Policy
    • Accessibility
    • Sitemap
    • search
    Priority Programme 2514

     

    • Startpage
    • Projects

     

    • Home
      • Mission
      • Projects
      • Events
      • Members
      • YIN
      • Get Involved
      • Intern
    • 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)

    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 (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)

    Priority Programme 2514

    Prof. Dr.-Ing. Ina Schaefer
    Test, Validierung und Analyse
    Am Fasanengarten 5
    76131 Karlsruhe

    Funding

    Logo of the German Research Foundation (DFG) with the text "Funded by Deutsche Forschungsgemeinschaft".
    last change: 2025-10-30
    KIT – The University in the Helmholtz Association
    • Home
    • Legals
    • Privacy Policy
    • Accessibility
    • Sitemap
    • KIT