Robin Milner: The Elegant Pragmatist
Remembering a rich legacy in verification, languages, and concurrency.
Leah Hoffmann
Advertisement
Researchers are developing new techniques to gauge employee productivity from information flow.
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.
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