Moshe Y. Vardi – Page 10 – Communications of the ACM

Opinion Jan 1 2012

Artificial Intelligence: Past and Future

The most dramatic chess match of the 20th century was the May 1997 rematch between the IBM supercomputer Deep Blue and world champion Garry Kasparov, which Deep Blue won. While this victory was considered by many a triumph for artificial intelligence, John McCarthy, who coined the very name of the field, was rather dismissive of this accomplishment.

Artificial Intelligence and Machine Learning

Communications Editor-in-Chief Moshe Y. Vardi

Opinion Dec 1 2011

Computing For Humans

Leibniz conceived of a universal mathematical language in which all human knowledge can be expressed, and calculational rules carried out by machines to derive all logical relationships. His definition of computing captures, I believe, the essence of our field.

Computing Applications

Opinion Nov 1 2011

Is Moore’s Party Over?

For almost 50 years we have been riding Moore's Law's exponential curve. Oh, what a ride it has been! No other technology has ever improved at a geometric rate for decades. But exponential trends always slow down, and the end of "Moore's Party" may be near.

Architecture and Hardware

Communications of the ACM Editor-in-Chief Moshe Vardi

Opinion Sep 1 2011

Are You Talking to Me?

I recently attended a rather theoretical computer-science conference, and sat, as is my habit, in the front row. The speaker was trying to convey the fine details of a rather intricate mathematical construction. I was hopelessly lost.

Computing Applications

Opinion Jul 1 2011

Solving the Unsolvable

On June 16, 1902, philosopher Bertrand Russell sent a letter to Gottlob Frege in which he argued that Frege's logical system was inconsistent. The letter launched a "Foundational Crisis" in mathematics, triggering an almost anguished search for proper foundations for mathematics.

Computing Applications

Opinion May 1 2011

Technology Has Social Consequences

A conference paper submission constitutes privileged communication. In theory, reviewers should immediately "forget" what they have read. How could a program committee member not know the fundamental rules of scholarly reviewing?

Computing Applications

Opinion Mar 1 2011

Fumbling the Future

Fumbling the Future: How Xerox Invented, Then Ignored, the First Personal Computer tells the gripping story of how Xerox invented the personal-computing technology in the 1970s, and then "miscalculated and mishandled" the opportunity to fully exploit it.

Computing Applications

Opinion Jan 1 2011

Where Have All the Workshops Gone?

My initiation into the computing-research community was a workshop on "Logic and Databases" in 1979. I was the only graduate student attending the workshop. In spite of the informality of the event I was quite in awe of the senior researchers who attended.

Computing Applications

Opinion Nov 1 2010

On P, NP, and Computational Complexity

While the P vs. NP quandary is a central problem in computer science, a resolution of the problem may have limited practical impact.

Systems and Networking

Opinion Sep 1 2010

Science Has Only Two Legs

Science has been growing new legs of late. The traditional "legs" (or "pillars") of the scientific method were theory and experimentation. Computational science has been called the 'third pillar' of scientific inquiry, and has been recently augmented by yet a "fourth paradigm."

Computing Applications

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