uni
suche
kontakt
impressum
Universität Stuttgart
Abteilung
|
Mitarbeiter
|
Lehre
|
Forschung
|
Publikationen
|
Service
|
Institut
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
Mitarbeiter der Abteilung Formale Konzepte
Leiter
Prof. Dr. rer. nat. Volker Claus
Sekretariat
Heike Photien
Telefon
+49 711 685-88300
Fax
+49 711 685-88310
E-Mail
claus@informatik.uni-stuttgart.de
Raum
1.132
Telefon
+49 711 685-88328
Fax
+49 711 685-88310
E-Mail
photien@informatik.uni-stuttgart.de
Raum
1.117
Emeritus
Prof. Dr. Walter Knoedel
Telefon
+49 711 685-88308
Fax
+49 711 685-88310
E-Mail
knoedel@informatik.uni-stuttgart.de
Raum
2.132
Mitarbeiter
(
Gruppenbild
)
Name
Raum
Telefon
Draskoczy, Botond
1.162
+49 711 685-88225
Dr. Lewandowski, Stefan
1.162
+49 711 685-88225
Prote, Horst
(Sysadmin)
1.105
+49 711 685-88348
Riexinger, Sascha
1.152
+49 711 685-88337
Ehemalige Mitarbeiter
Reuß, Walter
April 2007 bis März 2009
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