Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Staff of the Division of Formal Concepts

englishicon
 

Head

Prof. Dr. rer. nat. Volker Claus

Secretariat

Heike Photien
Phone+49 711 685-88300
Fax +49 711 685-88310
E-Mail claus@informatik.uni-stuttgart.de
Room 1.132
Phone+49 711 685-88328
Fax +49 711 685-88310
E-Mail photien@informatik.uni-stuttgart.de
Room 1.117

Emeritus

Prof. Dr. Walter Knoedel
Phone+49 711 685-88308
Fax +49 711 685-88310
E-Mail knoedel@informatik.uni-stuttgart.de
Room 2.132

Staff (group picture)

Name Raum Telefon
Draskoczy, Botond 1.162 +49 711 685-88225
Dr. Lewandowski, Stefan 1.108 +49 711 685-88336
Prote, Horst (Sysadmin) 1.105 +49 711 685-88348
Riexinger, Sascha 1.152 +49 711 685-88337

Former Colleagues

Reuß, Walter April 2007 to March 2009
Dr. Schmid, Wolfgang October 2000 to September 2006
Dr. Weicker, Nicole April 1994 to September 2005
Dr. Weicker, Karsten 1999 to August 2004
Holub, Jürgen April 2002 to March 2004
Gudrun Volkert until Juni 2001
Dr. Friedhelm Buchholz May 1995 to April 2000
Dr. Christian Hagenah July 1998 to December 1999
Dr. Wolfang Reissenberger April 1993 to February 1998
Dr. Werner Ebinger July 1989 to Dezember 1995
Susanne Gündel April 1993 to April 1995
Dr. Thomas Liedtke