Analyzing the Logic of Sun Tzu in "The Art of War", Using Mind Maps / Logic in Asia: Studia Logica Library (PDF)

Peter van Emde Boas (1945) was born and raised in Amsterdam. In 1969, he obtained a master degree in pure mathematics at the University of Amsterdam. Peter's interest shifted to Theoretical Computer Science, resulting in a Ph.D. on the subject of Abstract Complexity Theory in 1974. His fields of interest include complexity theory, semantics, database theory, symbolic computational linguistics, game theory, and artificial intelligence. In the field of data structures, he is known as the discoverer of the van Emde Boas Trees. He became in 1977 full professor in Mathematical Computer Science at the University of Amsterdam in the departments of Mathematics and Computer Science. There are 22 Ph.D. students who graduated under Peter's supervision. During his employment at the University, he organized many seminars and served for over 20 years chairing examination boards in Computer Science, Logic, Artificial Intelligence and Software Engineering. He retired from this positionin 2009, but remains active in the Institute of Logic Language and Computation which he helped to found around 1990 and in the joint Amsterdam Chinese Logic Center at Tsinghua University. He is notorious for the questions he poses during talks and seminars. After retiring, he works on the connections between classical Chinese strategy, game theory, and logic.
Ghica van Emde Boas was born as Hendrica Lubsen in Amsterdam, the Netherlands. She received a B.S. in Mathematics from the University of Amsterdam. She worked 30 years for IBM in the Netherlands. She received an outstanding contribution award for developing a test system that marked the end of the punched-cards era. Next, she was a developer of Relational Database Management Systems in its early days. Ghica authored an article in the IBM Journal of Research and Development, "Evaluating Horn Clauses in a Relational Database Environment" (1986), together with Peter van Emde Boas; and in the IBM Systems Journal, "Business Component Prototyper"