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
Events 2026
Events 2025
Events 2024
Q-STAV
Start
Q-STAV
Q-STAV
Q-STAV 2026
Members
YIN
Industry Advisory Board
Get Involved
Kontakt
Intern
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Priority Programme 2514
Startpage
Members
Home
Mission
Projects
Events
Q-STAV
Members
YIN
Industry Advisory Board
Get Involved
Kontakt
Intern
Members
M. Sc. Lucas Kehrer
P9
Group:
Saarland University, Group Member 'Quantitative Verification' (Prof. Dr. Benjamin Kaminski)
luke00001
∂
does-not-exist.
stud uni-saarland de
