Studied mathematics in Stuttgart (Dr.rer.nat. 1967); postdoctoral fellow at Department of computer science, University of Toronto (1968/69); assistant professor computer science, University of B.C., Vancouver (1970-72); professor for computer science...