Ronald Book

Ronald V. Book est élève du Grinnell College, une école secondaire privée à Grinnell (Iowa). Il obtient son B. A. en 1958. Il étudie les mathématiques à l'Université Wesleyenne, une université privée à Middletown (Connecticut), et il obtient une première maîtrise en 1960 et une deuxième maîtrise en 1964. Il commence ensuite des recherches à l'université Harvard sous la direction de Sheila A. Greibach. Il obtient un Ph. D. en 1969 (titre de la thèse : Grammars with Time Functions)[1]. En 1970 il publie avec Greibach l'article : « Quasi-realtime languages ».

Book obtient un poste à Harvard puis à l'Université Yale et en 1977, Ron Book est nommé professeur de mathématiques à l'Université de Californie à Santa Barbara (UCSB).

Ronald Book meurt de sclérose en plaques. Sa femme Celia Wrathall est connue pour ses travaux en informatique théorique (par exemple en hiérarchie polynomiale).

En 1993, Ronald Book écrit le livre String-rewriting systems avec Friedrich Otto[2]. Ce livre contient les résultats les plus importants sur les systèmes de réécriture.

Il travaille également en théorie de la complexité et sur le problème P ≟ NP. Il introduit en théorie des langages formels les concepts de langage mince. En outre, il affine la notion de complexité relative en théorie de la complexité, notamment en relation avec l'application de la complexité de Kolmogorov .

Au début des années 1990, Ron Bookil reçoit le prix de la Fondation Alexander-von-Humboldt pour ses travaux. Ce prix consistait alors à financer un séjour de recherche en Allemagne pendant un an.

• 1970-1971, Ronald Book est membre du comité exécutif de SIGACT (Special Interest Group on Algorithms and Computation Theory) de l' Association for Computing Machinery
• 1977-1981, il est président de l'Institute of Electrical and Electronics Engineers Technological Committee on Mathematical Foundations of Computer Science
• De 1977 à 1985, il est membre du bureau de l'EATCS (European Association for Theoretical Computer Science).

Parmi les doctorants de Ron Book, il y a :

• Brenda Baker, Université Harvard, 1973
• Ding Zhu Du, Université de Californie à Santa Barbara, 1985
• Colm O'Dunlaing, Université de Californie, Santa Barbara, 1981
• Luquan Pan, Université de Californie, Santa Barbara, 1986
• David Russo, Université de Californie, Santa Barbara, 1985

• Maurice Nivat, « Foreword in memoriam Ronald V Book », Theoretical Computer Science, vol. 207 « In memoriam of Ronald V Book », n^o 1,‎ 1998, xiii-xiv.
• « A summary of Ronald V. Book's scientific research », dans Ding-Zhu Du et Ker-I Ko (éditeurs), Advances in Algorithms, Languages, and Complexity. Dedicated to Professor Ronald V Book to honor and celebrate his sixtieth birthday, Springer, 1997 (DOI 10.1007/978-1-4613-3394-4), xv-xvii et xxiii–xxxiv.
• Ding-Zhu Du et Ker-I Ko, « In memoriam Ronald V. Book », Theoretical Computer Science, vol. 207, n^o 1,‎ 1998, p. 1–3 et 5-11 (DOI 10.1016/s0304-3975(98)90025-1 ).
• Robert McNaughton, « Contributions of Ronald V Book to the theory of string-rewriting systems », Theoretical Computer Science, vol. 207, n^o 1,‎ 1998, p. 13–23 (DOI 10.1016/s0304-3975(98)00053-x ).
• « In memoriam: Ronald V. Book », Bulletin of the European Association of Theoretical Computer Science, vol. 63,‎ 1997, p. 292.

• Ressources relatives à la recherche :
  • (en) Digital Bibliography & Library Project
  • (en) Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • GND
  • Belgique
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • Norvège
  • WorldCat
• (en) John J. O'Connor et Edmund F. Robertson, « Ronald V. Book », sur MacTutor, université de St Andrews.