Beteiligte Professuren

Praktische Informatik

• Paralleles wissenschaftliches Rechnen
• Informatikaspekte des wissenschaftlichen Rechnens
• Softwarewerkzeuge für paralleles und verteiltes Rechnen
• Werkzeuge und Bibliotheken für das gemischt-parallele Programmiermodell
• Programmiersprachen und Programmiersprachenkonzepte
• Algorithmische und parallele Adaptivität
• Transformationsansätze in der Softwareentwicklung
• Programmierumgebungen für eScience und eGovernment
• Nature-Inspired Computing

Softwaretechnik

• Programmieren Verstehen
• Entwicklung von Lehrmethoden aus der Forschung
• Evaluierung und Verfeinerung der Lehrmethoden

Theoretische Informatik

• Das Boolesche Erfüllbarkeitsproblem (SAT)
• Algorithmen im Allgemeinen
• Komplexitätstheorie

Verteilte und Selbstorganisierende Rechnersysteme

• Web Engineering
• Service Infrastructure Systems
• Environment-aware Applications
• Web Science