FMI | Abteilung Theoretische Informatik

	Institut für Formale Methoden der Informatik
	Mitarbeiter der Abteilung Theoretische Informatik

	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
Wissenschaftliche Mitarbeiter	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
Ehemalige Mitarbeiter	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

Mitarbeiter der Abteilung Theoretische Informatik