?

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.