- Rice UniversityGoerge Distinguished Service Professor, present
- Association for Computing MachineryEditor in Chief, Communications of the ACM, present
Fiftieth Anniversary of the Publication of the seminal paper on Computat...
Juris Hartmanis and Richard Stearns in a photo dated May 1963. The main theorem from their paper is on the board later improved by Hennie an
Meet A.I. Joe | blog@CACM | Communications of the ACM
In the 70 years since the end of World War II, AI has advanced enormously, and the military has continued to show a steady appetite for acqu
Richards-Kortum, Vardi elected to National Academy of Sciences
Rice University bioengineer Rebecca Richards-Kortum and computer scientist Moshe Vardi today joined the elite group of scientists who have b
Incentivizing Quality and Impact in Computing Research | May 2015 | Comm...
Developing consensus on how the computing-research publication culture should be changed has proven to be exceedingly hard. The Computing Re
The Arbitrariness of Reviews, and Advice for School Administrators | Apr...
John Langford examines the results of the NIPS experiment, while Mark Guzdial considers the role of class size in teaching computer science.
The Three Faces of Cyberwar | blog@CACM | Communications of the ACM
The different aspects of cyberwar, and what can be done about them.
10 Years of Git: An Interview with Git Creator Linus Torvalds | Linux.com
Tuesday marks the anniversary of Git, the distributed revision control system Linus Torvalds wrote in a weekend 10 years ago.
How Amazon Web Services Uses Formal Methods | April 2015 | Communication...
Engineers use TLA+ to prevent serious but subtle bugs from reaching production.
Hadoop at a Crossroads? | blog@CACM | Communications of the ACM
A few facts and opinions and a couple of announcements, with a prediction on where the "Hadoop stack" might be going.
Neuroscience of Marijuana Munchies | The Scientist Magazine®
Cannabinoids cause appetite-suppressing neurons to produce an appetite-stimulating hormone in mice.
Do-It-Yourself Textbook Publishing | February 2015 | Communications of t...
Comparing experiences publishing textbooks using traditional publishers and do-it-yourself methods.
Online Privacy: Regional Differences | February 2015 | Communications of...
How do the U.S., Europe, and Japan differ in their approaches to data protection — and what are they doing about it?
Celebrations to Commemorate Boole’s 200th Birthday | News | Communicatio...
; The creator of Boolean algebra and Boolean logic is remembered. ;
General Agreement | June 2014 | Communications of the ACM
Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended.
We May Be 100 Years Behind in Making Computing Education Accessible to All
So when should we be able to provide computing education to everyone in the US? Using physics and mathematics as examples, we may be 100 yea