FMI | Abteilung Formale Konzepte | Mitarbeiter

Bild mit Unilogo

Universität Stuttgart

|

|

|

|

|

|

|

|

	Institut für Formale Methoden der Informatik
	Mitarbeiter der Abteilung Formale Konzepte

Leiter

Prof. Dr. rer. nat. Volker Claus

Sekretariat

Telefon	+49 711 7816-300
Fax	+49 711 7816-310
E-Mail	claus@informatik.uni-stuttgart.de
Raum	1.111

Telefon	+49 711 7816-328
Fax	+49 711 7816-310
E-Mail	photien@informatik.uni-stuttgart.de
Raum	1.117

Emeritus

Prof. Dr. Walter Knoedel

Telefon	+49 711 7816-308
Fax	+49 711 7816-310
E-Mail	knoedel@informatik.uni-stuttgart.de
Raum	2.132

Mitarbeiter (Gruppenbild)

Name	Raum	Telefon
Draskoczy, Botond	1.162	+49 711 7816-225
Dr. Lewandowski, Stefan	1.108	+49 711 7816-336
Prote, Horst (Sysadmin)	1.105	+49 711 7816-348
Riexinger, Sascha	1.152	+49 711 7816-337

Ehemalige Mitarbeiter

Dr. Schmid, Wolfgang	Oktober 2000 bis September 2006
Dr. Weicker, Nicole	April 1994 bis September 2005
Dr. Weicker, Karsten	1999 bis August 2004
Holub, Jürgen	April 2002 bis März 2004
Gudrun Volkert	bis Juni 2001
Dr. Friedhelm Buchholz	Mai 1995 bis April 2000
Dr. Christian Hagenah	Juli 1998 bis Dezember 1999
Dr. Wolfang Reissenberger	April 1993 bis Februar 1998
Dr. Werner Ebinger	Juli 1989 bis Dezember 1995
Susanne Gündel	April 1993 bis April 1995
Dr. Thomas Liedtke