Friedrich Otto (Informatiker)

Friedrich Otto (* 21. Februar 1952) in Gadderbaum (jetzt Bielefeld) ist ein deutscher Informatiker.

Schulbesuch des Freiherr-von-Stein Gymnasiums in Betzdorf/Sieg, Studium der Mathematik und Informatik an der Universität Kaiserslautern, Diplom in Mathematik: 15.02.1978 (Diplomarbeit: Charakterisierung subrekursiver Teilklassen von Wortfunktionen über abzählbar-unendlichen Alphabeten), Promotion zum Dr. rer. nat.: 30.06.1980 am Fachbereich Informatik der Universität Kaiserslautern, Dez. 1982 - Sept. 1983: Forschungsaufenthalt am Fachbereich Mathematik der University of California, Santa Barbara bei Ronald V. Book, gefördert durch die Deutsche Forschungsgemeinschaft Aug. 84 - Sept. 86: Hochschulassistent am Fachbereich Informatik der Universität Kaiserslautern, Habilitation für das Fach Informatik: 05.12.1985 am Fachbereich Informatik der Universität Kaiserslautern, 1986 - 1988: Associate Professor am Department of Computer Science der State University of New York, Albany 1988 - 1989: Vertretung einer Professur für Informatik am Fachbereich Informatik der Universität Kaiserslautern, seit 1989: Universitätsprofessor für Informatik am Fachbereich Mathematik/Informatik der Universität Kassel.

Publikationen

Otto hat über 100 Arbeiten in wissenschaftlichen Zeitschriften publiziert.

• Friedrich Otto: Untersuchungen zur Komplexität algorithmischer Probleme in abzählbar erzeugten Gruppen (Dissertation), Kaiserslautern 1982
• Friedrich Otto: Decision problems and their complexity for monadic Church-Rosser Thue systems (Habilitationsschrift), Kaiserslautern 1982
• Ronald V. Book & Friedrich Otto: String-rewriting systems, Springer Texts And Monographs In Computer Science; Vol. 7, Springer Verlag, 1998, 189 Seiten.