Seit 2007 hat Dr. Alexander Knapp eine Professur für die Grundlagen des Software & Systems Engineering inne. In der heutigen Entwicklung immer komplexerer und heterogenerer Software-Systeme spielen Modelle zur Abstraktion von Sachverhalten aus unterschiedlichen Blickwinkeln, deklarative Spezifikationen und Lernverfahren, die das „Was?“ statt das „Wie?“ in den Vordergrund rücken, und eine integrierte umfassende Qualitätssicherung durch formale Techniken entscheidende Rollen. Professor Knapp beschäftigt sich mit Modellierungssprachen, ihrer Semantik und Konsistenzprüfung; deklarativen Constraint-Sprachen für Präferenz- und Entscheidungsoptimierungen; und der Verifikation und dem Testen von nebenläufigen und adaptiven Systemen unter Einbeziehung von Verfahren des maschinellen Lernens.