Ronald V. Book
aus Wikipedia, der freien Enzyklopädie
Ronald Vernon Book (* April 1937; † 28. Mai 1997 in Santa Barbara, Kalifornien, USA) ist in einer Landwirtschaft betreibenden Familie aufgewachsen. Er besuchte das Grinnell College, eine höhere Privatschule in Grinnel, Iowa und erhielt seinen B.A. 1958 als Abschluss. An der Wesleyan University, einer Privatuniversität in Middletown, Connecticut studierte er Mathematik und erhielt 1960 einen M.A. und 1964 einen zweiten M.A. Im Anschluss daran begann er mit seinen ersten Forschungen an der Harvard University unter der Anleitung von Sheila A. Greibach. Er promovierte 1969 (Doktorarbeit: Grammars with Time Functions) zum Ph.D. Im Jahr 1970 publizierte er mit Greibach die Arbeit: Quasi-realtime languages (siehe auch Quasi-Realzeit-Sprachen, das ist die Komplexitätsklasse Q).
Book wurde in Harvard eingestellt und wechselte später nach Yale. 1971 lernte er den französischen Wissenschaftler Maurice Nivat auf einer Art Summer School für Formale Sprachen an der University of Western Ontario, in London, Ontario kennen. Nivat zeigte sich sehr beeindruckt von Books Art. Beide blieben freundschaftlich verbunden.
Im Jahr 1972 publizierte Ron Book zwei Arbeiten: In On languages accepted in polynomial time trennte er verschiedene Polynomialzeitklassen und in Topics in formal language theory stellte er aktiv bearbeitete und zentrale Themen der Formalen Sprachen dar.
1977 wurde Ron Book am Institut für Mathematik an der University of California at Santa Barbara (UCSB) zum Professor berufen. Er begann ein weiteres Thema in seine Untersuchungen mitaufzunehmen: Wortersetzungssysteme (engl.: string-rewriting systems). In den Achtzigern entstanden so zahlreiche Arbeiten. Robert McNaughton vertritt die Ansicht, dass Ron Book in dieser Zeit die Arbeiten über Wortersetzungssysteme schrieb, die in diesem Thema den stärksten wissenschaftlichen Impakt hatten. Im Jahr 1993 schrieb er gemeinsam mit Friedrich Otto das Buch String-rewriting systems. In diesem sind die wichtigsten Ergebnisse über Wortersetzungssysteme zusammengefasst.
Auf der anderen Seite gab er der Komplexitätstheorie verschiedene neue Impulse, so führte er z. B. die Begriffe dünne Menge und Tally-Sprache in die Komplexitätstheorie ein. Zahlreiche Wissenschaftler wandten diese Technologien auf das P-NP-Problem an. Diese Arbeiten vermitteln uns heute einen tiefen Einblick in die Schwierigkeit dieses Problems. Weiterhin untersuchte und verfeinerte er die Relativierungsbegriffe der Komplexitätstheorie.
Ding Zhu Du und Keri-I Ko berichten über ihn, dass er in den Achtzigern mit seinen Ideen bis hin zur Anwendung der Kolmogorow-Komplexität der Wissenschaftlergemeinde sehr wichtige Impulse gegeben hat.
Diese starke Wirkung ist wesentlich dadurch geprägt worden, dass er mit sehr vielen Wissenschaftlern intensiv zusammengearbeitet hat. So hat er regelmäßig Gäste (meist Postdoc-Studenten) in Santa Barbara aufgenommen. Einige darunter waren Humboldt-Stipendiaten aus Deutschland und sind heute anerkannte Wissenschaftler: Z.B. Friedrich Otto, Professor an der Universität Kassel, Uwe Schöning, Professor an der Universität Ulm.
Für seine Leistungen wurde er Anfang der Neunziger mit dem Preis der Humboldt-Stiftung ausgezeichnet. Dieser Preis bestand darin, dass ihm für ein Jahr lang ein Forschungsaufenthalt in Deutschland finanziert wurde.
Ronald Book starb an Multipler Sklerose. Er hinterlässt seine Frau Celia Wrathall. Wrathall ist bekannt geworden durch mehrere Arbeiten in der Theoretischen Informatik (siehe z.B. Polynomialzeithierarchie).
Inhaltsverzeichnis |
[Bearbeiten] Das wissenschaftliche Engagement von Ron Book
Ron Book publizierte über 150 Artikel in internationalen wissenschaftlichen Zeitschriften.
- 1970-1971 war er Mitglied im Executive Committee of SIGACT (Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory)
- 1977-1981 war er Chairman des Institute of Electrical and Electronics Engineers Technological Committee on Mathematical Foundations of Computer Science from 1977 to 1981
- 1977-1985 war er Council im EATCS (European Association for Theoretical Computer Science).
Weiterhin war er Editor von drei verschiedenen Monographie-Serien über Informatik.
Regelmäßig war er in einer der folgenden Konferenzen als Chair oder als Programmkomitee-Mitglied vertreten:
- STOC (Annual ACM Symposium on Theory of Computing)
- FOCS (Annual IEEE Symposium on Foundations of Computer Science)
- ICALP (International Colloquium on Automata, Languages and Programming sponsored by the European Association of Theoretical Computer Science)
- MFCS (International Symposium on Mathematical Foundations of Computer Science)
[Bearbeiten] Die Doktoranden von Ron Book
Bei Ron Book haben promoviert:
- Brenda Baker, Harvard University, 1973
- Ding Zhu Du, University of California, Santa Barbara, 1985
- Colm O'Dunlaing, University of California, Santa Barbara, 1981
- Luquan Pan, University of California, Santa Barbara, 1986
- David Russo, University of California, Santa Barbara, 1985
[Bearbeiten] Weblinks
[Bearbeiten] Literatur
- A summary of Ronald V. Book's scientific research. In Advances in algorithms, languages, and complexity (Dordrecht, 1997), pp xv-xvii.
- D-Z Du and K-I Ko: In memoriam Ronald V. Book In Theoretical Computer Science 207 (1), pp 1-3, 1998.
- In memoriam: Ronald V. Book, Bull. In: European Association of Theoretical Computer Science (EATCS) 63, p 292, 1997.
- List of Ronald V. Book's publications. In memoriam of Ronald V Book, In Theoret. Comput. Sci. 207 (1), pp 5-11, 1998.
- List of Ronald V. Book's publications. In Advances in algorithms, languages, and complexity (Dordrecht, 1997), pp xxiii-xxxiv.
- Robert McNaughton: Contributions of Ronald V Book to the theory of string-rewriting systems. In memoriam of Ronald V Book, Theoret. Comput. Sci. 207 (1), pp 13-23, 1998.
- Maurice Nivat: Foreword in memoriam Ronald V Book. In memoriam of Ronald V Book, In Theoret. Comput. Sci. 207 (1), pp xiii-xiv, 1998.
| Personendaten | |
|---|---|
| NAME | Book, Ronald Vernon |
| ALTERNATIVNAMEN | Book, Ron |
| KURZBESCHREIBUNG | US-amerikanischer Informatiker |
| GEBURTSDATUM | April 1937 |
| GEBURTSORT | Philadelphia |
| STERBEDATUM | 28. Mai 1997 |
| STERBEORT | Santa Barbara, Kalifornien |
