Peter van Emde Boas
Peter van Emde Boas (né le à Amsterdam)[1] est un informaticien théoricien néerlandais, professeur émérite à l'université d'Amsterdam.
Peter van Emde Boas
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
Institution | |
---|---|
Directeurs de thèse |
Adriaan van Wijngaarden, Pieter Cornelis Baayen (d) |
Peter van Emde Boas soutient en 1974 un doctorat à l’université d'Amsterdam sous la direction d'Adriaan van Wijngaarden, nommée Abstract Resource-Bound Classes[2]. À partir de 1977, il est d'abord lecteur (1977) puis professeur (1980) en informatique théorique. Il est professeur émérite depuis 2009.
La structure de données arbre de Van Emde Boas (abrégé en arbre vEB, aussi appelé file de priorité de Van Emde Boas Baum, vEB Baum) porte son nom[3].
Parmi ses élèves il y a Arjen Lenstra.
Publications
modifier- Peter van Emde Boas, « Machine Models and Simulation », dans Jan van Leeuwen (éditeur), Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, Elsevier/MIT Press, , p. 3-66.
- Renate Bartsch et Peter van Emde Boas (éditeurs), Johan van Benthem : Semantics and contextual expression, Foris Publications, .
Notes et références
modifier- Dr. Peter van Emde Boas sur Album Academicum
- (en) « Peter van Emde Boas », sur le site du Mathematics Genealogy Project.
- Peter van Emde Boas, « Preserving order in a forest in less than logarithmic time », Foundations of Computer Science (Conference Proceedings, , p. 75-84 (ISSN 0272-5428, DOI 10.1109/SFCS.1975.26).
Liens externes
modifier- Publications de Peter van Emde Boas sur DBLP
- Homepage