|
1981:
|
Diplom (M.Sc.) in Computer Science
|
|
1983:
|
Visiting Research Associate, Logic Programming Research Center, Syracuse University, Syracuse, USA
|
|
1984-1988:
|
Scientific Assistant, University of the Federal Armed Forces, Munich, Germany
|
|
1988:
|
Dr. rer. nat.
|
|
1989-1993:
|
Assistant Professor, Technische Universität Darmstadt, Germany
|
|
1989-1990:
|
Postdoctoral Fellow, International Computer Science Institute, Berkeley, USA
|
|
1990-1991:
|
Visiting Professor, University of Dortmund, Germany
|
1993:
|
Dr. rer. nat. habil.
|
|
since 1993:
|
Professor, Technische Universität Dresden, Germany
|