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
subjectEntertainment
authorGigaOm
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
5 Questions with the Creator of the First Ipad-Made Ios Game
From ACM Careers

5 Questions with the Creator of the First Ipad-Made Ios Game

Rui Viana isn't a full-time app developer and he hasn't learned how to use Apple's iOS software development kit. GigaOm
From ACM Careers | May 7, 2012
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account