acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
dateMore Than a Year Ago
subjectTheory
authorLen Shustek
bg-corner
Yael Tauman Kalai of Microsoft Research and MIT
Verifying Correctness
From Communications of the ACM

Yael Tauman Kalai on her career, proof systems, and certifying correctness.

Leah Hoffmann | March 1, 2024
An Interview with Dana Scott
From Communications of the ACM

An Interview with Dana Scott

ACM Fellow and A.M. Turing Award recipient Dana Scott reflects on his career. Len Shustek
From Communications of the ACM | August 1, 2022
An Interview with Fred Brooks
From Communications of the ACM

An Interview with Fred Brooks

ACM Fellow and A.M. Turing Award recipient Fred Brooks reflects on his career. Len Shustek
From Communications of the ACM | November 1, 2015
An Interview with Juris Hartmanis
From Communications of the ACM

An Interview with Juris Hartmanis

A pioneer in the field of computational complexity theory reflects on his career. Len Shustek
From Communications of the ACM | April 1, 2015
An Interview with Ed Feigenbaum
From Communications of the ACM

An Interview with Ed Feigenbaum

ACM Fellow and A.M. Turing Award recipient Edward A. Feigenbaum, a pioneer in the field of expert systems, reflects on his career. Len Shustek
From Communications of the ACM | June 1, 2010
An Interview With C.A.R. Hoare
From Communications of the ACM

An Interview With C.A.R. Hoare

C.A.R. Hoare, developer of the Quicksort algorithm and a lifelong contributor to the theory and design of programming languages, discusses the practical application... Len Shustek, C.A.R. Hoare
From Communications of the ACM | March 1, 2009
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account