Informatik-Institute | Universität Stuttgart

	Computer Science in Stuttgart
	Computer Science Institutes

	Institute of Architecture of Application Systems (IAAS)^IvI
	Prof. Dr. Frank Leymann
	Institute of Formal Methods in Computer Science (FMI)^IvI
		Formal Concepts: Prof. Dr. Volker Claus
		former department Operating Systems: Prof. Dr. rer. nat. Klaus Lagally
		Software Reliability and Security: Priv.-Doz. Dr. habil. Martin Leucker
		Theoretical Computer Science: Prof. Dr. rer. nat. habil.Volker Diekert
	Institute of Parallel and Distributed Systems (IPVS)
		Applications of Parallel and Distributed Systems: Prof. Dr.-Ing. habil. Bernhard Mitschang
		Image Understanding: Prof. Dr. rer. nat. habil. Paul Levi
		Infrastructure: Dipl.-Inform. Michael Matthiesen
		Parallel Systems: Prof. Dr.-Ing. Sven Simon
		Simulation of Large Systems: Prof. Dr. Peter Bastian
		Distributed Systems: Prof. Dr. rer. nat. Dr. h. c. Kurt Rothermel
	Institute of Computer-aided Product Development (IRIS)^IvI
	Univ-Prof. Hon-Prof. Dr. Dieter Roller
	Institute of Software Technology (ISTE)^IvI
		Programming Languages: Prof. Dr. rer. nat. / Harvard Univ. Erhard Plödereder
		Software Engineering Research: Prof. Dr. rer. nat. Jochen Ludewig
	Institute of Computer Architecture and Computer Engineering (ITI)^IvI
		Computer Architecture: Prof. Dr. Hans-Joachim Wunderlich
		Embedded Systems Engineering: Prof. Dr.-Ing. Martin Radetzki
	Visualization and Interactive Systems Group (VIS)^IvI
		Head: Prof. Dr. Thomas Ertl
		Intelligente Systeme (IS): Prof. Dr. Gunther Heidemann

Computer Science Institutes