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-7816-329

Sekretariat	Heike Photien		1.117	+49-711-7816-328

Wissenschaftliche Mitarbeiter	Prof. Ulrich Hertrampf		1.107	+49-711-7816-344
Wissenschaftliche Mitarbeiter	Benjamin Hoffmann		1.116	+49-711-7816-405
	Dr. Manfred Kufleitner		1.112	+49-711-7816-231
	Jürn Laun		1.116	+49-711-7816-410
	Dr. Holger Petersen		1.112	+49-711-7816-451

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-7816-348

Ehemalige Mitarbeiter	Björn Appel	1.4.2008 bis 30.9.2008
Ehemalige Mitarbeiter	Holger Austinat	1.4.1999 bis 31.3.2005
	Andreas Bergen	1.4.1996 bis 30.9.1997
	Michael Bertol	1.7.1993 bis 30.9.1996
	Stefan Göller	01.04.2005 bis September 2007
	Dr. Markus Lohrey	01.01.2000 bis 31.03.2007
	Alexander Miller	01.11.2004 bis Juli 2006
	Anca Muscholl	bis 31.08.99	Université Paris VII
	Nicole Ondrusch
	Walter Reuß	bis 31.07.98	Abteilung Sichere und Zuverlässige Softwaresysteme (SZS)
	Klaus Wich	1.3.2000 bis 31.03.2005

Mitarbeiter der Abteilung Theoretische Informatik