Die Autoren. Manfred Broy. FriedheIm Buchholz. Volker Claus. Rainer Feldmann

Transkript

1 Die Autoren Manfred Broy Geboren am Manfred Broy begann seine wissenschaftliche Tatigkeit am Institut fur Informatik und am Sonderforschungsbereich 49 "Programmiertechnik" an der Technischen Universitat Munchen. Er promovierte 1980 an der Fakultat fur Mathematik der Technischen Universitat Munchen und habilitierte im Dezember 1982 an der Fakultat fur Mathematik und Informatik der Technischen Universitat Munchen. 1m April 1983 wurde er ordentlicher Professor fur Informatik und Grundungsdekan an der Fakultat fur Mathematik und Informatik der Universitat Passau. 1m Oktober 1989 wurde er ordentlicher Professor fur Informatik am Institut fur Informatik der Technischen Universitat Munchen und 1992 Grundungsdekan der Fakultat fur Informatik der Technischen Universitat Munchen. 1m Jahr 1994 ist Professor Broy fur seine Arbeiten zur Systemmodellierung mit dem Leibniz Preis ausgezeichnet worden. FriedheIm Buchholz Geboren Ausbildung zum AV-Mediendesigner, Lazi-Schule, Esslingen Studium der Informatik an der Universitat Stuttgart. Seit April 1995 wissenschaftlicher Angestellter am Institut fur Informatik, Abteilung Formale Konzepte, Universitat Stuttgart. Volker Claus Geboren Vier Kinder Studium der Chemie, Mathematik und Physik in Saarbrucken Promotion in Mathematik bei Prof. Hotz. (Ordentliche) Professur in (Theoretische) Informatik Universitat Dortmund, Universitat Oldenburg, seit 1992 Universitat Stuttgart. Begrunder des Bundeswettbewerbs Informatik, Herausgeber der Leitfadenreihe beim Teubner Verlag, Autor mehrerer Bucher (u.a. Duden Informatik), Initiator des Oldenburger Forschungs- und Entwicklungsinstituts fur Informatik-Werkzeuge und -Systeme (OFFIS). Rainer Feldmann Rainer Feldmann studierte Informatik an der Universitat-GH Paderborn und promovierte dort Neben Arbeiten im Bereich Verbindungsnetzwerke entwickelte er das verteilte Schachprogramm Zugzwang, das 1992 auf der Computerschach Weltmeisterschaft in Madrid Vizeweltmeister wurde.

2 Die Autoren 327 Giinter Hotz Geboren am Nach dem Studium der Mathematik und Physik in Frankfurt und G6ttingen ( ) drei Jahre als Ingenieur im Bereich Systementwicklung in der Firma Telefunken, Konstanz tatig. Seit 1962 zunachst als Stipendiat der Fritz-Thyssen-Stiftung, dann als Dozent und schlieblich als Professor fur Numerische Mathematik und Informatik an der Universitat des Saarlandes. Thomas Lengauer Geboren am Dipl. Math. (FU Berlin) Dr. rer. nat. (FU Berlin) M. Sc. (Comp. Sci., Stanford University) Ph. D. (Comp. Sci., Stanford University) Habilitation in Informatik (Universitat des Saarlandes) Member of Technical Staff, Bell Laboratories, Murray Hill, N. J Gastprofessor und wiss. Mitarbeiter, Fachbereich Angewandte Mathematik und Informatik (Universitat des Saarlandes) Professor fur Informatik, Universitat-GH-Paderborn Leiter des Institutes fur Algorithmen und wissenschaftliches Rechnen, GMD - Forschungszentrum Informationstechnik GmbH, und Professor fur Informatik an der Rheinischen Friedrich-Wilhelms-Universitat Bonn (1992-jetzt). lengauer@cartan.gmd.de Martin Lobbing Geboren am Diplom 1994 in Informatik an der Universitat Dortmund. Seitdem Doktorand bei Prof. Wegener im Bereich Binary Decision Diagrams. loebbing@ls2.informatik.uni-dortmund.de Kurt Mehlhorn Geboren Ph. D. (1974) an der Cornell University. Seit 1975 Professor an der Universitat des Saarlandes in Saarbrucken, Direktor des Max-Planck Instituts fur Informatik in Saarbrucken. Leibniz-Preis der Deutschen Forschungsgemeinschaft (1986) und Humboldt-Award fur Franz6sisch-Deutsche Kooperation (1989). Verfasser von funf Biichern. mehlhorn@mpi-sb.mpg.de

3 328 Die Autoren FriedheIm Meyer auf der Heide Geboren am FriedheIm Meyer auf der Heide promovierte 1981 an der Universitat Bielefeld und habilitierte sich 1986 an der Johann Wolfgang Goethe-Universitat Frankfurt. Zwischen 1980 und 1986 war er als wissenschaftlicher Mitarbeiter am Fachbereich Informatik der Johann Wolfgang Goethe-Universitat Frankfurt tatig. In dieser Zeit war er auch fur ein Jahr am IBM Almaden Research Center in San Jose, USA. Von 1986 bis 1989 war er Professor am Fachbereich Informatik der Universitat Dortmund. Seit 1989 ist er Professor am Fachbereich Mathematik/Informatik der Universitat-GH Paderborn wurde er zusammen mit Prof. Monien mit dem Leibniz-Preis der Deutschen Forschungsgemeinschaft ausgezeichnet. Seine Forschungsschwerpunkte umfassen Parallele Algorithmen und Architekturen, Randomisierte Algorithmen und Methoden zum Beweisen unterer Schranken fur algebraische und kombinatorische Berechnungen. Mehr ist auf der WWW-Seite uni -paderborn. del cs/fmadh. html zu finden. Burkhard Monien Burkhard Monien studierte Mathematik in Hamburg. Dort promovierte er 1968 und habilitierte Von 1975 bis 1977 war er C3-Professor an der Universitat Dortmund. Seit 1977 ist er Professor (C4) fur Informatik an der Universitat-GH Paderborn und dort Mitglied des Vorstandes des ZIT (Zentrum fur Informatik und Technik) und Vorsitzender des Vorstandes des PC 2 (Paderborn Center for Parallel Computing). Er koordinierte unter anderem das DFG-Schwerpunktprogramm "Datenstrukturen und effiziente Algorithmen", die DFG-Forschergruppe "Effiziente Nutzung massiv paralleler Systeme" und den NRW-Forschungsverbund "Paralleles Rechnen" Zusammen mit F. Meyer auf der Heide wurde ihm 1992 der Leibniz-Preis verliehen. Er ist Mitglied des Vorstandes der EATCS (European Association for Theoretical Computer Science), und seit 1996 Mitglied der nordrheinwestfalischen Akademie der Wissenschaften. bm@uni-paderborn.de Peter Mysliwietz Peter Mysliwietz studierte Informatik an der Universitat-GH Paderborn und promovierte dort Neben Arbeiten im Bereich Verbindungsnetzwerke entwickelte er das verteilte Schachprogramm Zugzwang, das 1992 auf der Computerschach Weltmeisterschaft in Madrid Vizeweltmeister wurde. asterix@uni-paderborn.de

4 Die Autoren 329 Stefan Naber Geboren Promotion (1987) an der Universitat des Saarlandes in Saarbriicken. Seit 1994 Professor fiir Informatik an der Martin-Luther-Universitat in Halle. Jiirg Nievergelt Mathematik Diplom der ETH Ziirich 1962; Ph.D. in Mathematik, University of Illinois Von 1965 bis 1977 Assistenzprofessor bis ordentlicher Professor of Computer Science an der University of Illinois at Urbana-Champaign. Seit 1975 Professor der Informatik an der ETH Ziirich. Auf Urlaub von der ETH war er Kenan Professor and Chairman of the Computer Science Dept. an der Univ. of North Carolina at Chapel Hill. Viele akademische und industrielle Forschungsaufenthalte weltweit. Nievergelt ist Fellow of the ACM, IEEE und AAAS. Forschungsinteressen: Algorithmen und Datenstrukturen; interaktive Systeme und Benutzerschnittstellen; heuristisches und erschopfendes Suchen, par alleles Rechnen. Wolfgang Paul Geboren Promotion am Fachbereich Informatik der Universitat des Saarlandes bei Prof. Hotz DAAD-Stipendiat an der Cornell University 1974 bis Wissenschaftlicher Rat und Professor an der Fakultat fiir Mathematik der Universitat Bielefeld 1976 bis Research Staff Member beim IBM Forschungslabor in San Jose 1982 bis Professor am Fachbereich Informatik der Universitat des Saarlandes seit Leibnizpreis zusammen mit G. Hotz und K. Mehlhorn Hans J iirgen Promel Geboren 1953 in Rees (Niederrhein), Studium der Mathematik und Wirtschaftswissenschaften, 1982 Promotion im Fach Mathematik beides an der Universitat Bielefeld, Gastprofessor an der University of California, Los Angeles, 1987 Habilitation an der Universitat Bonn, C4-Professor fiir Diskrete Mathematik an der Universitat Bonn, seit 1994 Inhaber des Lehrstuhls fiir Algorithmen und Komplexitat an der Humboldt Universitat zu Berlin. Hauptarbeitsgebiete: Probabilistische Methoden, Graphentheorie und Graphenalgorithmen, Anwendung kombinatorischer Algorithmen auf Probleme aus den Ingenieurwissenschaften, den Natur- und den Wirtschaftswissenschaften. proemel@informatik.hu-berlin.de

5 330 Die Autoren Armin Reichert Geboren am Studium der Informatik und Mathematik an der Universitat des Saarlandes, Diplom in Informatik Seit 1992 wissenschaftlicher Mitarbeiter im Fachbereich Informatik an der Universitat des Saarlandes. Karl Riidiger Reischuk Geboren Studium der Mathematik an der Universitat Bielefeld. Diplom 1978, Promotion 1980 und Habilitation 1983 in Bielefeld mit Arbeiten aus dem Bereich der Komplexitatstheorie. Wahrend dieser Zeit arbeitete er als Mitarbeiter bei Prof. Paul, anschliebend als Hochschulassistent an der Bielefelder Fakultat fiir Mathematik. Seit 1981 mehrfach Forschungsaufenthalte im IBM Almaden Research Laboratory in San Jose (Verteilte Systeme waren dabei ein Schwerpunkt, einige Ergebnisse sind patentiert), sowie am International Computer Science Institute in Berkeley. Professor fiir Theoretische Informatik an der Technischen Hochschule Darmstadt von Seit 1994 Direktor des Institutes fiir Theoretische Informatik an der Medizinischen Universitat zu Liibeck. J iirgen Sauermann Geboren Diplom im Fach Mathematik mit Nebenfach Wirtschaftswissenschaften an der Universitat Bielefeld Es folgten drei Jahre Berufsleben, zunachst als Systemprogrammierer, dann als leitender Systementwickler in einem APL Systemhaus. Dort enstand die Idee eines parallelen APL Rechners, die an der Univ. des Saarlandes verwirklicht wurde promovierte er zum Thema "Ein paralleler APL Rechner". Seit 1992 ist Jiirgen Sauermann als ATM-Spezialist bei Ericsson tatig. Georg Schnitger Geboren am Promotion (1982) im Fach Mathematik an der Universitat Bielefeld. Assistant Professor of Computer Science an der Pennsylvania State University ( ). Associate Professor of Computer Science an der Pennsylvania State University ( ). Professor fiir Informatik an der Universitat-Gesamthochschule Paderborn ( ). Professor fiir Informatik an der Johann Wolfgang Goethe-Universitat Frankfurt am Main (seit 1995). georg@thi.informatik.uni-frankfurt.de

6 Die Autoren 331 Uwe Schoning Geboren am Uwe SchDning studierte Informatik (mit dem Vertiefungsgebiet Theoretische Informatik und dem Nebenfach Elektrotechnik) an der Universitat Stuttgart ( ). Nach der Promotion (1981) und einem einjahrigen USA-Aufenthalt habilitierte er 1985 an der Universitat Stuttgart und folgte 1985 einem Ruf auf eine Professur an der Universitat Koblenz und leitet seit 1989 die Abteilung ftir Theoretische Informatik an der Universitat Ulm. Angelika Steger Geboren 1962 in Mtinchen, Studium der Mathematik und Physik an den Universitaten Freiburg, Heidelberg und Stony Brook (USA), 1990 Promotion, 1994 Habilitation jeweils an der Universitat Bonn, 1994/95 Lehrstuhlvertretung an der Universitat Kiel, 1995 Berufung an den Fachbereich Mathematik der Universitat-GH Duisburg, seit 1996 Professorin ftir Theoretische Informatik an der TU Mtinchen. Arbeitsgebiete: Probabilistische Methoden, Graphentheorie, Kombinatorische Optimierung. Volker Strassen Volker Strassen wurde am 29. April 1936 in Dtisseldorf-Gerresheim geboren. Er diplomierte 1961 und promovierte 1962 an der Universitat Gottingen in Mathematik. Nach der Promotion lehrte er insgesamt 4 Jahre an der University of California in Berkeley, zuletzt als Associate Professor. Diese Tatigkeit wurde durch ein 2-jahriges Habilitandenstipendium der DFG und durch die Habilitation 1966 in Mathematik an der Universitat Erlangen unterbrochen. Von 1968 bis 1988 war er Professor am Institut fur Angewandte Mathematik der Universitat Ztirich (zwischendurch Visiting Miller Professor in Berkeley und Gastforscher an der GMD), und seit 1988 ist er Professor an der Fakultat ftir Mathematik und Informatik der Universitat Konstanz. Er ist Mitglied der Leopoldina sowie der Akademie der Wissenschaften zu Gottingen (korr.) und zu Heidelberg. RolfWanka Rolf Wanka studierte von 1983 bis 1989 Informatik an der Universitat Dortmund, 1994 promovierte er an der Universitat-GH Paderborn, an der er seit 1989 als wissenschaftlicher Mitarbeiter tatig ist. Seine Forschungsschwerpunkte umfassen theoretische und praktische Untersuchungen paralleler Sortierverfahren und die Entwicklung unterer und

7 332 Die Autoren oberer Schranken fur parallele Netzwerksimulationen. Mehr findet sich auf der WWW-Seite uni -paderborn. del cs/wanka. html. Ingo Wegener Geboren am Diplom (1976), Promotion (1978) und Habilitation (1981) in Mathematik an der Universitat Bielefeld. Von 1980 bis 1982 Gast- und Vertretungsprofessor am Fachbereich Informatik der Johann Wolfgang Goethe-Universitat in Frankfurt am Main. Dort von 1982 bis 1987 C3- Professor. Seit 1987 C4-Professor am Fachbereich Informatik der Universitat Dortmund. Emo Welzl Geboren am Diplom (1981), Promotion (1983) in Technischer Mathematik und Habilitation (1988) in Grundlagen der Informatik an der Technischen Universitat Graz, Osterreich. Von 1987 bis 1996 C4-Professor am Fachbereich Mathematik und Informatik der Freien Universitat Berlin, Deutschland. Seit 1996 ordentlicher Professor am Departement Informatik der ETH Zurich, Schweiz.

8 Index a,b-algorithmus, 32, 44 abstrakte Zielmaschine, 200 Agenten, 236 aktives Lernmodell, 280 algorithmische Geometrie, 118 algorithmischer Darwinismus, 221 Alignment, 86 APL-Operationen, 199 Architektur, 155, 267 aufspannender Baum, 224 Authentisierung, 167 Backpropagation-Algorithmus, 281 Barrel-Shifter, 200 Basisadresse, 203 Baumsuchverfahren, 42 Beschrei bungsformalismus, 231 Beweis,287 beweisbar, 287 Beweiser, 287 Beweissystem, 42 binary decision diagram, 75 Bisektionsweite, 179 Bit Commitment, 302 Bitonischer Sortierer, 216 Black-Box-Sicht, 233 blob, 301 Branchingprogramm, 75 Butterfly-Netzwerk, 179 Byzantinische GeneraJe, 164 Byzantinisches Agreement, 165 Chiffrat, 263 chinesischer Restsatz, 260 Clique, 71, 321 Computerschach, 25 Congestion, 178, 182 contention resolution, 182 CRCW-PRAM,269 Crossbar, 200 CS-Addierwerk, 145 Cutoff, 44 Damenproblem, 63 Darstellungsverfeinerung, 248 Datenfluflkomponente, 235 Datenfluflnetz, 244 Datenmodell, 232 Deadlock, 156, 190 Deep Blue, 45 Deflection Routing, 195 Delay-Pfad, 188 digitale Unterschriften, 167 Dijkstras Algorithmus, 116 Dilation, 182 Docking, 101 dynamische Programmierung, 88 Early Stopping, 170 Eigenschaftsverfeinerung, 248 einseitiger Fehler, 308 Einwegfunktion, 301 Endliche Automaten, 75 Entity /Relationship-Diagramm, 240 Entscheidungsbii.ume,73 Entscheidungsdiagramm,74 Entwicklungsprozeflmodell, 247 Erfiillbarkeitsproblem, 70, 149, 306 Eulersche Zahl, 261 Even-Odd, 145 Expander, 179, 184, 324 Fii.rbbarkeitsproblem, 306 Fahrgemeinschaft,9 feedforward-netze, 281 Fenstersuche, 44 Firing-Squad-Problem, 157 Flit, 194 free BDD, 75

9 334 Index Gefangenen-Dilemma, 158 genetische Algorithmen, 102 Genomsequenzierung, 83 geometrisches Rechnen, 113 Gitter, 47, 163, 180 Glass-Box-Sicht, 233 Grapheneinbettung, 138 Graphenisomorphieproblem, 292 Growing-Rank-Protokoll, 190 Giite, 315 Hamiltonkreis, 65, 298 Hardwareverifikation, 63, 71 Hashing, 32, 44, 77, 104 Hidden Markov Modell, 94 hierarchische Strukturen, 130 hierarchischer Entwurf, 134 hierarchischer StraBengraph, 13 Historyheuristik, 45 Hot-Potato Routing, 195 Hypercube, 180 indexed assignment, 206 indexed reference, 206 interaktives Beweissystem, 290 Interval Labeling Scheme, 193 Intervall-Routing, 193 IP, 291 IP(const), 291 Irrfahrt, 324 iteratives Vertiefen, 44 Killerheuristik, 44 Klartext, 263 kleinster umschliebender Kreis, 226 Knoten, 138 kollektive Konsistenz, 173 kombinatorisches Netz, 133 kombinatorisches Rechnen, 113 Kommunikationsband, 290 Kompression, 213 konsistente Schaltkreise, 282 konsistenter Zustand, 135 konvexe Hiillen, 118 Kreuzungszahl, 224 Kryptographie, 262 Kiinstliche Intelligenz, 42 kiirzeste Wege, 115 Lastverteilung, 53, 156 Layout, 130 Leader-Election-Problem, 158 Lerntheorie, 222 lokales Displacement, 203 mathematisches Modell, 231 Minmaxalgorithmus, 43 Modellierungstechnik, 231 monotone Disjunktionen, 222 Netz, 131 Netzwerk, 47, 163, 177 neuronale Netze, 98, 267 neuronale Schaltkreise, 267 nichtdeterministische Turingmaschine, 307 normierter Schaltkreis, 272 oblivious Verfahren, 178 Off-Hne-Routing, 191 Online-Lernen, 280 Optimierungsproblem, 315 ordered BDD, 76 PAC-Lemen, 280 Parallel Prefix, 211 Parallelrechner, 177 parametrisierter Typ, 132 Paritatsproblem, 269 PCP-Theorem, 312 Perfekte Zero-Knowledge Eigenschaft, 297 Permutationsnetz, 163, 200 Perzeptron-Algorithmus, 280 Planaritatstest, 127 Primzahltest, 261, 309 probabilistically checkable proof, 305 Profilmethoden, 91 Protein Threading, 90 Proteinfaltungsproblem, 99 Protokoll, 156 ProzeBkonzept, 238 ProzeBmodell, 230 public key cryptosystem, 262 Ramseyzahl, 71 Random-Rank-Protokoll, 187 randomisierte Turingmaschine, 308 Ravel,202 read-once Branchingprogramm, 75 rekursiv aufziihlbare Menge, 287 rekursive dynamische Programmierung, 93 Renaming-Problem, 172 Replikation, 212 Router, 178 Routing, 48, 178, 204 RSA-System, 262, 283 Rucksackproblem, 317

10 Index 335 Schach, 25, 42, 63 Schaltkreisentwurf, 130 Schaltkreisgrofie, 271 Sequenzalignment,86 Shifting-Network, 200 Shuffle, 143 Signatur einer Algebra, 232 Simulated Annealing, 102 Smoothing, 205 Sortiernetz, 216 Sortierproblem, 274 Spiel, 287 Spline-Funktionen, 278 Springerkreise, 63 Springerweg, 63 Standard-Sigmoid, 270 statische Bewertungsfunktion, 43 Store-and-Forward-Modus, 181 Synchronisation, 156 Systemmodell, 233 Testmustergenerierung, 149 Threshold-Funktion, 268 Tiefe, 271 Torus, 180 Transputer, 47 Turing-Test, 28, 296 untreue Ehemanner, 159 Verifikationsalgorithmus, 287 Verifizierer, 287, 307 Verteilte Systeme, 155, 243 Vorgehensmodell, 230 Wormhole-Routing, 194 Young Brothers Wait Concept, 50 Zero-Knowledge Beweis, 287 ~ e r o - s u pbdd, p r e79 s s e d Zopfe,138 Zuordnungsproblem, 79 Zweipersonen-Nullsummenspiel,43