Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Universität des Saarlandes
Fakultät für Mathematik und Informatik
Quantitative Verification Group
Address
Campus E1.3
66123 Saarbrücken
Deutschland
GERiT
This institution in GERiT
66123 Saarbrücken
Projects
Priority Programmes
Current projects
Noise-aware Quantum Programming (NawaQ)
(Applicants
Kaminski, Benjamin Lucien
;
Stollenwerk, Tobias
)
Additional Information
© 2025
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung