Explore the foundations of computational thinking in this Turing Lecture delivered by Alfred Aho and Jeffrey Ullman, moderated by John L. Hennessy. Delve into a comprehensive taxonomy of abstractions and their applications in computer science, focusing on compiler design, large dataset management, and quantum computation. Examine the vital role of abstractions in advancing technology and solving complex problems. Gain insights from two distinguished computer scientists as they discuss the evolution of abstractions, their algorithms, and compilers, and consider future challenges in computing abstractions. Learn about the four different kinds of abstractions commonly used in computing and their implementation in various areas of computer science.