-
Computer Science
-
Meldung:
11.11.2025
DFG fördert Dortmunder Projekt zur Verifikation digitaler Quantensimulationen
im Bereich Quantencomputing, formale Methoden und Softwarequalität an und stärkt die Sichtbarkeit der Universität im wachsenden Feld der Quantum Software Engineering. Darüber hinaus bietet das Projekt mit [...] Die Deutsche Forschungsgemeinschaft (DFG) fördert im Rahmen des Schwerpunktprogramms 2514 „Quantum Software, Algorithms and Systems“ ein neues Forschungsprojekt der Technischen Universität Dortmund. Unter [...] schwieriger ist es, solche Simulationen zuverlässig zu verifizieren. Herkömmliche Methoden der Softwareverifikation stoßen dabei schnell an ihre Grenzen – vor allem, wenn komplexe Phänomene wie beispielsweise …