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
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)
P13: Construction of Advanced Dynamic Quantum Circuits: Towards Resource Optimization and Fidelity Improvement (ConAD-QC)
Events
Start
Events
Events
Events 2025
Events 2024
YIN
Get Involved
Intern
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Priority Programme 2514
Startpage
Projects
P8: Optimized Quantum Software Testing based on Functional Property Specifications and Quantum State Verification Techniques (QuTe)
Home
Mission
Projects
Events
YIN
Get Involved
Intern
Projects
P1: Practical Measurement-based 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)
P13: Construction of Advanced Dynamic Quantum Circuits: Towards Resource Optimization and Fidelity Improvement (ConAD-QC)
P8: Optimized Quantum Software Testing based on Functional Property Specifications and Quantum State Verification Techniques (QuTe)
Malte Lochau
Prof. Dr. Malte Lochau
P8
Group:
University Siegen, Group Leader 'Model-based Engineering'
malte lochau
∂
does-not-exist.
uni-siegen de
mbe.informatik.uni-siegen.de/team/malte-lochau/?lang=en
