A John von Neumann Lecture


"The Art of Computer Programming: Satisfiability and Combinatorics"

Donald Knuth, Stanford University

Friday, December 2, 2016 at 4:00 P.M.

Room 368 (CIT 3rd Floor)

Donald Knuth, Professor Emeritus at Stanford University, is one of the most influential computer scientists and CS educators alive today. Knuth is the author of the multi-volume series The Art of Computer Programming, which founded the field of the analysis of algorithms and their computational complexity, and he made many pioneering contributions to multiple branches of theoretical CS and programming languages. His seminal work includes promoting the widespread use of asymptotic notation, the TeX typesetting system, the METAFONT font definition language and rendering system, and the Computer Modern typeface family. He designed the MIX/MMIX instruction set architectures and is known for his innovative work at facilitating literate programming by developing the WEB and CWEB programming systems. His many awards include the Turing Award (often referred to as the Nobel Prize for Computing), the National Medal of Science, the John von Neumann Medal, and the Kyoto Prize.

A Sweat Box Session featuring rigorous questioning from graduate students and other attendees will follow.

Host: Sorin Istrail and Eli Upfal