Studium der Mathematik, Physik und Mathematischen Logik an der Universtät Münster, Promotion zum Dr. rer. nat. in Mathematischer Logik (Universität Münster) 1971, Erteilung der Venia Legendi für das Lehrgebiet Informatik (Universität Karlsruhe) 1975.

Von 1976 bis 1980 C3-Professor und von 1980 bis 1987 C4-Professor am Institut für Angewandte Informatik und Formale Beschreibungsverfahren der Universität Karlsuhe, seit 1987 Inhaber des ersten Lehrstuhls (C4) für Informatik und Leiter des Instituts für Informatik an der Fakultät für Mathematik der Universität Freiburg. Oktober 1994 Gründungsmitglied des Instituts für Informatik der Fakultät für Angewandte Wissenschaften der Universität Freiburg und maßgeblich beteiligt am Aufbau der neuen Fakultät.

Rufe auf C4 Stellen an die Universitäten Hagen, Aachen, Oldenburg und Trier.

Im Sommersemester 1989 Visiting Professor am Department of Computer Science, University of Waterloo, Waterloo, Ontario, Kanada. Im Sommersemester 1994 Gastwissenschaftler am Departement Informatik der ETH Zürich, Schweiz. September bis Dezember 1999 Harris Gastprofessur Dartmouth College, NH, USA. August 2004 bis Dezember 2004 Gledden Visiting Senior Fellow an der University of Western Australia, Crawley, WA.

Sekretär der European Association for Theoretical Computer Science von 1979 bis 1988, gewählter Fachgutachter der DFG für das Gebiet Theoretische Informatik von 1984 bis 1992, Koordinator des DFG-Schwerpunktprogramms Datenstrukturen und effiziente Algorithmen 1986 bis 1992. Sprecher des Graduiertenkollegs Menschliche und maschinelle Intelligenz in Freiburg 1994. Sprecher des Verbundprojekts VIROR (Virtuelle Hochschule Oberrhein) 1998 und des Verbundprojekts ULI (Universitärer Lehrverbund Informatik), 2002.

Von 1998 bis 2003 Mitglied der wissenschaftlichen Kommission des Landes Niedersachsen. Seit 1998 Mitglied des Lenkungsausschusses des Swiss Virtual Campus. Seit 2004 Mitglied des Advisary Boards des L3S, Hannover. 2004 Mitglied des Resarch Evaluation Panels der University of Tampere, Finland, 2005 Mitglied des Evaluation Boards von Oulu Infotech an der University of Oulu, Finland. Seit September 2006 Vorsitzender des FA04 (Informatik) der Fachakkreditierungsagentur für Studiengänge der Ingenieurwissenschaften, der Informatik, der Naturwissenschaften und der Mathematik e.V.(ASIIN). Oktober 2006 GI-Fellow.

Koautor von vier und Mitherausgeber von sieben Büchern. Autor und Koautor von mehr als 150 Aufsätzen in wissenschaftlichen Zeitschriften, Tagungs- und Sammelbänden.

Forschungsinteressen: Algorithmen und Datenstrukturen, insbesondere Algorithmische Geometrie; Multimedia-Systeme und Einsatz von Rechnern für Unterrichtszwecke.