Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Division | Staff | Teachings | Research | Publications | Service | Institute | Computer Science | Faculty
Institute of Formal Methods in Computer Science

Staff of the Division of Theretical Computer Science

 englishicon
 

Staff (group picture)

    Name Email Room Phone
Head   Prof. Volker Diekert 1.125 +49-711-68588-329
 
Office   Heike Photien 1.117 +49-711-68588-328
 
Scientific
Assistants 		  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
    Armin Weiß 1.116 +49-711-68588-405
    Tobias Walter 1.156 +49-711-68588-480
 
Guest
Researcher 		  Yuri Matiyasevich
  (several visits between 2002 and 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)
 
System
Administration 		  Horst Prote 1.105 +49-711-68588-348
 
Former
Members 		  Björn Appel 2008  
  Dr. Holger Austinat 1999 to 2005  
    Andreas Bergen 1996 to 1997  
    Dr. Michael Bertol 1993 to 1996  
    Dr. Stefan Göller 2005 to 2007  
    Dr. Benjamin Hoffmann 2006 to 2010  
    Prof. Dr. Markus Lohrey 2000 to 2007 Universität Leipzig
    Alexander Miller 2004 to 2006  
    Prof. Dr. Anca Muscholl 1991 to 1999 Université Bordeaux 1
    Dr. Nicole Ondrusch    
    Dr. Holger Petersen 1995 to 2008  
    Dr. Walter Reuß 1991 to 1998  
    Dr. Klaus Wich 2000 to 2005  
 
last change 04/20/2012 ( mailto Pro ) |  © University of Stuttgart | legal notice