Peter van Emde Boas

Peter van Emde Boas (Amsterdã, 3 de abril de 1945) é um informático neerlandês. É professor da Universidade de Amsterdã.[1]

Peter van Emde Boas
Peter van Emde Boas
Nascimento 3 de abril de 1945
Amesterdão
Cidadania Reino dos Países Baixos
Alma mater
Ocupação professor universitário, cientista de computação
Empregador(a) Universidade de Amsterdã

Peter van Emde Boas obteve um doutorado em 1974 na Universidade de Amsterdã, orientado por Adriaan van Wijngaarden, com a tese Abstract Resource-Bound Classes.[2] A partir de 1977 lecionou e foi depois professor de informática teórica na Universidade de Amsterdã, aposentando-se em 2009.

Leva seu nome na árvore de Van Emde Boas.[3]

Dentre seus doutorandos consta Arjen Lenstra.

Obras
  • Machine Models and Simulations, in Jan van Leeuwen (Ed.) Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity, Elsevier/MIT Press 1990, p. 3–66
  • Editor com Renate Bartsch e Johan van Benthem: Semantics and contextual expression, Foris Publications 1989

Referências
  1. Prof.dr Peter van Emde Boas
  2. Peter van Emde Boas (em inglês) no Mathematics Genealogy Project
  3. Peter van Emde Boas Preserving order in a forest in less than logarithmic time, Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975, p. 75–84

Ligações externas
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.