Peter van Emde Boas

from Wikipedia, the free encyclopedia

Peter van Emde Boas (* around 1944) is a Dutch computer scientist . He is a professor at the University of Amsterdam .

Peter van Emde Boas received his doctorate in 1974 from the University of Amsterdam under Adriaan van Wijngaarden (Abstract Resource-Bound Classes). From 1977 he was a lecturer and later professor for theoretical computer science in Amsterdam . In 2009 he retired .

The Van Emde Boas priority queue (also Van Emde Boas Baum, vEB Baum) is named after him.

Arjen Lenstra is one of his PhD students .

Fonts

  • Machine Models and Simulations . In: Jan van Leeuwen (Ed.): Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity . Elsevier / MIT Press, 1990, pp. 3-66.
  • Editor with Renate Bartsch, Johan van Benthem : Semantics and contextual Expression . Doris Publications, 1989.

Web links

Individual evidence

  1. Peter van Emde Boas in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  2. 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, pp. 75-84