Communications of the ACM
Refine your search:
How the “Frontier” Became the Slogan of Uncontrolled AI
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration …
From Computational Complexity
Choosing an Undergrad School
It is the time of year in the US that high school students have found out what schools have accepted them and now have to decide where to spend the next four years...
From Computational Complexity
Do You Know the Way to San Jose?
Lots of CS Goodness going on at FCRC June 4-11. New for 2011 the STOC Poster Session: Share your exciting research on theory's greatest stage! Submission deadline...
From Computational Complexity
Kanellakis and Grace Murray Hopper Prizes
The ACM announced several award winners today. Two of particular interest to the theory community. Craig Gentry, recipient of the Grace Murray Hopper Award for...
From Computational Complexity
A New Proof of the Nondeterministic Time Hierarchy
A nondeterministic time hierarchy was first proved by Cook and in the strongest form by Seiferas, Fischer and Meyer. Z
From Computational Complexity
The Complexity of the Soul
A CS vision professor once told me "Of course we know there is an efficient algorithm for that humans can do it." Are we just nothing more than Turing machines...
From Computational Complexity
How I'm Spending my Spring Break
This week I returned to Dagstuhl for the workshop on Computational Complexity of Discrete Problems. I come here so often that when I tweeted that I was om way Dagstuhl...
From Computational Complexity
Computer Science Takes Over
We live in our own research areas. I focus on computational complexity and marvel at what our field has accomplished over my over 25 years in the field as wellseries...
From Computational Complexity
STOC 1989
A student at Northwestern gave a presentation about a STOC 1989 paper. I've been to well over a hundred conferences and the memories of many just merge into each...
From Computational Complexity
Les Valiant wins the Turing Award
In a definite case of when not if, Leslie Valiant will receive the 2010 ACM Turing Award, the highest honor in all of computer science. Valiant has done incredible...
From Computational Complexity
Greetings from Porto
Today we just finished the thesis defense of Andre Souto at University of Porto. Good News: He passed the defense so now we call him Dr. Souto. Better news: By...
From Computational Complexity
What I Tweeted
Various thoughts not restricted to 140 characters. Congrats to Mihalis Yannakakis for his election into the National Academy of Engineering as well as new Sloan...
From Computational Complexity
Can we Innovate without Producing?
On Friday I heard a speaker lament about how losing the manufacturing base in the US: "You can move a foundry easier than you can move an Internet company." An ...
From Computational Complexity
The Theory Postdoc Culture
FOCS Call for Papers posted. Deadline April 13. The CRA organized a committee that put together on a white paper on whether postdocs are healthy for Computer Science...
From Computational Complexity
The Ideal Conference
I found the perfect CS conference. A meeting where computer scientists from all its subdisciplines come together. Not with the purpose of presenting their current...
From Computational Complexity
Why My Kids Trust Wikipedia
Guest post from Annie and Molly Fortnow Our teachers used to tell us not to use Wikipedia because anybody can edit it and therefore it isn't trustworthy. A couple...
From Computational Complexity
Coloring Maps
The four color theorem means you can color the United States in four colors. But can you color it in three? Try it before you read on. The answer is no. Consider...
From Computational Complexity
The Enduring Legacy of the Turing Machine
Last Februrary Peter Wegner asked if I would be interested in writing an article for a series in ACM Ubiquity on "What is Computation?" Our expanding collaboration...
From Computational Complexity
Complexity Year in Review 2010
Complexity Theorem of the year goes to Ryan Williams for his exciting separation of NEXP from ACC0, just one of many exciting papers this year. The runner up is...
From Computational Complexity
America's Most Important Algorithm
Yesterday the Census Bureau announced the new apportionment of the 435 representatives to states based on the 2010 census. Illinois lost one representative. Texas...
From Computational Complexity