Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Mitarbeiter der Abteilung Formale Konzepte

englishicon
 

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