Home | Sitemap | Kontakt | english  | Impressum | KIT

IPD - Institut für Programmstrukturen und Datenorganisation

 

Das Institut ist diejenige Einrichtung der Fakultät, die sich in Forschung und Lehre mit der Software-Technik als Ingenieursdisziplin befasst. Das Arbeitsfeld umfasst alle Themen in Zusammenhang mit der systematischen
Erstellung großer Softwaresysteme.


Der „Lehrstuhl Systeme der Informationsverwaltung“ (Professor Böhm) beschäftigt sich mit der Verwaltung und Analyse großer Datenbestände. Dazu gehören derzeit die effiziente Suche nach auffälligen Objekten, technische Aspekte des Datenschutzes und der Modellierung und Ausführung von Abläufen.
 
Die „Gruppe Architekturgetriebene Anforderungstechnik (ARE)“ (Juniorprofessorin Koziolek) beschäftigt sich mit der systematischen Entscheidungsunterstützung in der Anforderungsanalyse basierend auf Qualitätsbewertung von Software-Architekturen und Optimierung.
Der „Lehrstuhl Software-Entwurf und –Qualität (SDQ)“ (Professor Reussner) beschäftigt sich mit der Untersuchung der Auswirkungen von Entwurfsentscheidungen auf die Qualität der Software wie der Nutzung modellgetriebener Techniken für die Entwicklung, Pflege und Betrieb von software-basierten Systeme.
 
Der „Lehrstuhl Programmierparadigmen“ (Professor Snelting) befasst sich mit Compilerbau, Programmanalyse, Software-Sicherheitsprüfung und Verifikation. Er entwickelte JOANA, das z. Zt. einzige Werkzeug zur Information FLow Control, das volles Java mit Threads präzise behandeln kann. Er ist am SFB "InvasIC" beteiligt.
 
Der „Lehrstuhl Programmiersysteme” (Prof. Tichy) entwickelt Werkzeuge, die Systementwicklung erleichtern und untersucht sie empirisch. Derzeit stehen Parallelprogrammierung für Mehrkernrechner und GPUs sowie Programmieren
in gewöhnlicher Sprache im Vordergrund.
IPD - Institut für Programmstrukturen und Datenorganisation
Forschungsgruppen Kontakt
Systeme der Informationsverwaltung Prof. Dr. K. Böhm
Software-Entwurf und Qualität Prof. Dr. R. Reussner
Programmierparadigmen Prof. Dr. G. Snelting
Programmiersysteme Prof. Dr. W. Tichy
Architekturgetriebene Anforderungstechnik Juniorprof. Dr. A. Koziolek
Systeme der Informationsverwaltung Dr. E. Buchmann

(Young Investigator Group)

Systeme der Informationsverwaltung Dr. E. Müller

(Young Investigator Group)

Emeritierte Professoren
IPD Goos Prof. em. Dr. G. Goos
Systeme der Informationsverwaltung Prof. em. Dr. P. Lockemann
Prof. em. Dr. A. Schreiner