| 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 |
| Thema der Dissertation: | Untersuchungen zur Komplexität algorithmischer Probleme in abzählbar erzeugten Gruppen |
| Dez. 82 - Sept. 83: | Forschungsaufenthalt am Fachbereich Mathematik der University of California in Santa Barbara, gefördert durch die DFG |
| Aug. 84 - Sept. 86: | Hochschulassistent (C1) am Fachbereich Informatik der Universität Kaiserslautern |
| Habilitation für das Fach ``Informatik'': | 05.12.1985 am Fachbereich Informatik der Universität Kaiserslautern |
| Habilitationsschrift: | Decision problems and their complexity for monadic Church-Rosser Thue systems |
| Sept. 86 - August 88: | Associate Professor am Department of Computer Science der State University of New York in Albany |
| Okt. 88 - Sept. 89: | Vertretung einer C3-Professur für Informatik am Fachbereich Informatik der Universität Kaiserslautern |
| seit Okt. 89: | Universitätsprofessor (C3) für Informatik am Fachbereich Mathematik/Informatik der Universität Kassel |
| seit Nov. 2006: | Universitätsprofessor (C3) für Informatik am Fachbereich Elektrotechnik/Informatik der Universität Kassel |