Robin Milner: The Elegant Pragmatist
Remembering a rich legacy in verification, languages, and concurrency.
Leah Hoffmann
Advertisement
Andrew S. Tanenbaum talks about MINIX, microkernels, and electronic voting systems.
Prith Banerjee discusses collaborating with universities, his startup experiences, and Hewlett-Packard Lab's approach to research and development.
This year's Grace Hopper Celebration focused on using technology for social good.
Implementing Electronic Medical Records
Despite a number of challenges, patients' medical records are slowly making the transition to the digital age.
Jon Kleinberg talks about algorithms, information flow, and the connections between Web search and social networks.
Electronic games can inspire players to explore new ideas and concepts. By gaining a better understanding of the dynamic between player and game, researchers hope to develop more interesting and effective approaches.
Barbara Liskov talks about her ground breaking work in data abstraction and distributed computing.
Entertainment businesses say digital rights management prevents the theft of their products, but access control technologies have been a uniform failure when it comes to preventing piracy. Fortunately, change is on the way.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved