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