Distinguished Lecture Series in Honor of the 50th Anniversary of the Department. Seminar: Abstractions in Computer Science Theory

Abstract

    The creative use of abstractions is central to computer science. But not all abstractions address the same kinds of problems. We identify four different reasons abstractions appear in computer-science theory,  and focus on the "declarative abstractions," whose purpose is to raise the level at which we program. Important declarative abstractions appear in the theory of compiling and the theory of databases. We shall touch on the most important elements in those two fields.

Bio

Jeff Ullman is the Stanford W. Ascherman Professor of Engineering (Emeritus) in the Department of Computer Science at Stanford and CEO of Gradiance Corp. He received the B.S. degree from Columbia University in 1963 and the PhD from Princeton in 1966. Prior to his appointment at Stanford in 1979, he was a member of the technical staff of Bell Laboratories from 1966-1969, and on the faculty of Princeton University between 1969 and 1979. From 1990-1994, he was chair of the Stanford Computer Science Department. Ullman was elected to the National Academy of Engineering in 1989, the American Academy of Arts and Sciences in 2012, the National Academy of Sciences in 2020, and has held Guggenheim and Einstein Fellowships. He has received the Sigmod Contributions Award (1996), the ACM Karl V. Karlstrom Outstanding Educator Award (1998), the Knuth Prize (2000), the Sigmod E. F. Codd Innovations award (2006), the IEEE von Neumann medal (2010), the NEC C&C Foundation Prize (2017), and the ACM A.M. Turing Award (2020). He is the author of 16 books, including books on database systems, data mining, compilers, automata theory, and algorithms.