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