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)
P4: Bridging finite dimensional and infinite dimensional quantum systems — simulations and computational power
P5: Towards Software for Fault Tolerant Quantum Computing
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
Get Involved
Intern
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Priority Programme 2514
Startpage
Members
Home
Mission
Projects
Events
Members
YIN
Get Involved
Intern
Members
Benjamin Kaminski
Prof. Dr. Benjamin Kaminski
P9
Group:
Saarland University, Group Leader 'Quantitative Verification'
kaminski
∂
does-not-exist.
cs uni-saarland de
quave.cs.uni-saarland.de/benjamin-kaminski/
