Grundlagen des Software & Systems Engineering

 

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.

Allgemeine Kontaktinformationen:

Anschrift:
Universitätsstraße 6a

86159 Augsburg


Telefon: +49 821 598   2180

Fax: +49 821 598 2175

E-Mail: knapp@informatik.uni-augsburg.de

 

Gebäude: N

© Universität Augsburg

Suche