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 | |
|---|---|
 | |
| 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 editar
- 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
- ↑ Prof.dr Peter van Emde Boas
- ↑ Peter van Emde Boas (em inglês) no Mathematics Genealogy Project
- ↑ 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