KIT - Karlsruhe Institute of Technology
image/svg+xml
Priority Programme 2514
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
search
search
Mission
Projects
Start
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
Start
Events
Events
Q-STAV
Events 2026
Events 2025
Events 2024
Members
YIN
Hardware Board
Get Involved
Contact
Intern
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Priority Programme 2514
Startpage
Members
Home
Mission
Projects
Events
Members
YIN
Hardware Board
Get Involved
Contact
Intern
Members
Falk Howar
Prof. Dr. Falk Howar
P7
Group:
TU Dortmund, Group Leader 'Automated Quality Assurance (AQUA) Group'
falk howar
∂
does-not-exist.
tu-dortmund de
aqua.cs.tu-dortmund.de
