Über das Ausbildungsprogramm
Modelle, Methoden und Algorithmen zur Gestaltung, Analyse, Transformation, Verifizierung und zum Testen von Programmen und Softwaresystemen; Programmiersprachen und Programmiersysteme, Programmsemantik; Modelle, Methoden, Architekturen, Algorithmen, Sprachen und Softwaretools zur Organisation der Interaktion von Programmen und Softwaresystemen; Intelligente Systeme für maschinelles Lernen, Datenbank- und Wissensmanagement, Werkzeuge zur Entwicklung digitaler Produkte; Symbolische Rechensoftware; Betriebssysteme; Modelle, Methoden, Algorithmen, Cloud-Technologien und Softwareinfrastruktur der Organisation der global verteilten Datenverarbeitung usw.