Peter van Emde Boas

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 (Amsterdã, 3 de abril de 1945) é um informático neerlandês. É professor da Universidade de Amsterdã.[1]

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

[editar | editar código-fonte]
  • 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

[editar | editar código-fonte]