Über das Ausbildungsprogramm
Modelle, Methoden und Algorithmen für das Design, die Analyse, die Transformation, die Verifizierung und das Testen von Programmen und Softwaresystemen. Modelle, Methoden, Architekturen, Algorithmen, Sprachen und Software-Tools zur Organisation der Interaktion von Programmen und Softwaresystemen. Intelligente Systeme für maschinelles Lernen, Datenbank- und Wissensmanagement, Werkzeuge zur Entwicklung digitaler Produkte. Softwaresysteme für symbolisches Rechnen. Betriebssysteme. Modelle und Methoden zur Erstellung von Programmen und Softwaresystemen für die parallele und verteilte Datenverarbeitung, Sprachen und Werkzeuge der parallelen Programmierung