Institut für Architektur von Anwendungssystemen (IAAS)IvI
	Prof. Dr. Frank Leymann
	Institut für Formale Methoden der Informatik (FMI)IvI
		ehemalige Abteilung Betriebssoftware (BS): Prof. Dr. rer. nat. Klaus Lagally
		Formale Konzepte (FK): Prof. Dr. Volker Claus
		Sichere und Zuverlässige Softwaresysteme (SZS): Priv.-Doz. Dr. habil. Martin Leucker (Leiter in Vertretung)
		Theoretische Informatik (TI): Prof. Dr. rer. nat. habil.Volker Diekert
	Institut für Parallele und Verteilte Systeme (IPVS)
		Anwendersoftware (AS): Prof. Dr.-Ing. habil. Bernhard Mitschang
		Bildverstehen (BV): Prof. Dr. rer. nat. habil. Paul Levi
		Infrastruktur (IFS): Dipl.-Inform. Michael Matthiesen
		Parallele Systeme (PAS): Prof. Dr.-Ing. Sven Simon
		Simulation großer Systeme (SGS): Prof. Dr. Peter Bastian
		Verteilte Systeme (VS): Prof. Dr. rer. nat. Dr. h. c. Kurt Rothermel
	Institut für Rechnergestützte Ingenieursysteme (IRIS)IvI
	Univ-Prof. Hon-Prof. Dr. Dieter Roller
	Institut für Softwaretechnologie (ISTE)IvI
		Programmiersprachen und Übersetzerbau (PS): Prof. Dr. rer. nat. / Harvard Univ. Erhard Plödereder
		Software Engineering (SE): Prof. Dr. rer. nat. Jochen Ludewig
	Institut für Technische Informatik (ITI)IvI
		Rechnerarchitektur (RA): Prof. Dr. Hans-Joachim Wunderlich
		Embedded Systems Engineering (ESE): Prof. Dr.-Ing. Martin Radetzki
	Institut für Visualisierung und Interaktive Systeme (VIS)IvI
		Leiter: Prof. Dr. Thomas Ertl
		Intelligente Systeme (IS): Prof. Dr. Gunther Heidemann

^IvI Diese Institute bilden den Institutsverbund Informatik.