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