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 Theoretische Informatik

englishicon
 

Mitarbeiter (Gruppenbild)

    Name Email Raum Telefon
Leitung   Prof. Volker Diekert 1.125 +49-711-68588-329
 
Sekretariat   Heike Photien 1.117 +49-711-68588-328
 
Wissenschaftliche
Mitarbeiter
  Prof. Ulrich Hertrampf 1.107 +49-711-68588-344
  Steffen Kopecki 1.112 +49-711-68588-451
    Dr. Manfred Kufleitner 1.160 +49-711-68588-231
    Jürn Laun 1.112 +49-711-68588-410
    Alexander Lauser 1.156 +49-711-68588-292
    Tobias Walter 1.156 +49-711-68588-480
    Armin Weiß 1.116 +49-711-68588-405
 
Gastwissenschaftler   Yuri Matiyasevich
    (mehrfache Besuche zwischen 2002 und 2004)
    Paul Gastin
    (01.09.2002-31.08.2003)
    Irène Durand
    (01.09.2004-30.06.2005)
    Géraud Sénizergues
    (01.09.2004-30.06.2005)
 
Systemverwaltung   Horst Prote 1.105 +49-711-68588-348
 
Ehemalige
Mitarbeiter
  Björn Appel 2008  
  Dr. Holger Austinat 1999 bis 2005  
    Andreas Bergen 1996 bis 1997  
    Dr. Michael Bertol 1993 bis 1996  
    Dr. Stefan Göller 2005 bis 2007  
    Dr. Benjamin Hoffmann 2006 bis 2010  
    Prof. Dr. Markus Lohrey 2000 bis 2007 Universität Leipzig
    Alexander Miller 2004 bis 2006  
    Prof. Dr. Anca Muscholl 1991 bis 1999 Université Bordeaux 1
    Dr. Nicole Ondrusch    
    Dr. Holger Petersen 1995 bis 2008  
    Dr. Walter Reuß 1991 bis 1998  
    Dr. Klaus Wich 2000 bis 2005