Curriculum Vitae ________________ 7.1.1948 born in Kronberg/Taunus (Germany) 1954-1958 primary school in Darmstadt 1958-1966 high school in Bensheim/Bergstrasse 1966-1975 technical translator (Englisch and French) etc. 1975-1980 university studies in mathematics and psychology in Muenchen and Heidelberg 1980 Diplom in mathematics and psychology, Heidelberg subject: intuitionistic and related logics, topoi advisor: H.Schwichtenberg 1980-1984 software development in industry (Fortran, Pascal, real-time software) in Karlsruhe and Berlin 1984-1987 continuation of studies, assistant research position at the Institute for Mathematics, Freie Universitaet Berlin 1988 Promotion (PhD) at the institute for mathematics, Freie Universitaet Berlin, thesis in the field of set theory, "A Model of CH without Souslin Trees and without Kurepa Trees in ccc-Extensions" advisors: S.Koppelberg and H.D.Donder 1988 reorientation towards the logical foundations of artificial intelligence (non-monotonic logics) 1988-1991 research position at the Institute for Computer Science, University of Hamburg, and IBM Stuttgart (LILOG project) 1992 invited scientist at IBM Stuttgart 1992 Habilitation at the Institute for Computer Science, University of Hamburg, titel of thesis : "Results on Non-Monotonic Logics" 1993 invited scientist at the German Research Center for Artificial Intelligence (DFKI) at Saarbruecken and at the Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn since 1993 Professor for Computer Science, Marseille, France 1/9/00-31/8/02 Directeur de Recherche, CNRS (delegation to the Institut des Sciences Cognitives, Lyon)