Prof. Ina Schaefer leitet die Arbeitsgruppe für Testen, Validieren und Analyse von Software-Intensiven Systemen (TVA) am KIT. Ihr Fortschungsschwerpunkt ist die Qualitätssicherung von Software durch Testen und der Anwendung formaler Verifikation. Innerhalb des ProvideQ-Projekts ist Prof. Schaefers Arbeitsgruppe maßgeblich verantwortlich für den Architekturentwurf, der Implementierung under der Qualitätssicherung der ProvideQ Toolbox. Die Arbeitsgruppe dient daher als Schnittstelle zweichen derm Eingabe-Frontend (d.h.: der anwenderbezogenen Fomurlierung von Optimierungsproblemen) und der Anwendung hybrider Quantenalgorithmen unter Zuhilfenahme polylithischer Meta-Solver-Strategien.