acm-header
Sign In

Communications of the ACM

Recent Interviews

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 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