Abteilung TI

Holger Petersen
Dr. rer. nat. habil.
ist Hochschuldozent in der Abteilung Theoretische Informatik am
Institut für formale Methoden der Informatik.
Arbeitsgebiete
Automatentheorie
Entscheidbarkeit

Zimmer: 1.056
Telefon: (0711-)7816-451
E-Mail:
petersen@informatik.uni-stuttgart.de

Impressum