Feeds

Computing needs a Grand Challenge

Sir Tony Hoare lays down the gauntlet

  • alert
  • submit to reddit

Intelligent flash storage arrays

Sir Tony Hoare - British computing pioneer and senior scientist at Microsoft Research - believes the computer industry needs a "grand challenge" to inspire it. In the same way that the lunar challenge in the 1960s sparked a decade of collaborative innovation and development in engineering and space technology, or the human genome project united biologists around the globe, so too must computer scientists pull together on such a scale to take their industry to its next major milestone.

Speaking last Tuesday at an open day at Microsoft Research's lab in Cambridge, Hoare told the audience of around 60 journalists and analysts that there are seven such challenges facing researchers today. Significantly, these are not purely computational challenges, but involve a mix of disciplines from biology and psychology, right through to quantum physics. This reflects how much other areas rely on and use IT to support their research, but also the changing nature of computer science itself.

By 2020, Hoare predicts, the world will contain 100 times as many computers as it does now, each with 100 times as much power and memory, all interconnected. And to best understand this world, he says, we should not think of it as containing many discrete computing devices, but as a global ubiquitous computer (GUC).

He argues that in this world, the classical theory of computation, based on Turing's description of a single, localised machine sequentially executing a deterministic program to completion, no longer applies. One of the grand challenges, then, is to re-write the basic foundations of the science, to find a theory of computation that is "more realistic than the Turing model, and can take into account the discoveries of biology, and the promise of the quantum computer".

"Computations carried out in nature, for example in the brain and body of a living organism, are nothing at all like that. They are widely distributed over space and over time; they essentially involve massively parallel operation; they involve continuous interaction with their environment; and they are highly non-deterministic," Hoare says. In this way, the global ubiquitous computer is much more like a living organism than the Turing machine.

Wanted: life models

The links between the computing and biological sciences don't stop there. Perhaps the grandest of the grand challenges for computing are about modelling life, in particular, developing a model of an organism that will make predictions that will be experimentally testable.

To make progress, Hoare suggests the project "will probably concentrate on the same simple organisms that are the subject of widest biological experiments, for example the thale-weed Arabidopsis Thaliana".

But Hoare has grander plans still.

"An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship with the human mind," he says.

"A single human brain has about a hundred million million nerve cells...and a computer program that throws light on the mind/brain problem will have to incorporate the deepest insights of biologists, nerve scientists, psychologists, physiologists, linguists, social scientists, and even philosophers. This challenge is one that has inspired Computer Science since its very origins, when Alan Turing himself first proposed the Turing Test as a still unmet challenge for artificial intelligence."

Computational phenomena

The Cambridge facility is one of five facilities run by Microsoft Research, an independent sub-section of the software giant. The other labs are based in China and the US, with the bulk of the research coming out of Redmond. The group's remit is to research pure computer science, rather than to develop products.

Hoare, who was knighted in March 2000 for his services to computer science, joined the lab when he retired from Oxford University. Among his achievements in his career in industry and academia, is the development of the first commercial compiler for the programming language Algol 60.

He argues that the approach to Grand Challenges, in any discipline, is driven primarily by scientific curiosity and idealism and a desire to understand basic phenomena, in this case computational phenomena.

"It is easy to predict that some of the discoveries of research directed towards Grand Challenges - but only the most unexpected ones, and at the most unexpected times - will be the basis of revolutionary improvements in the way that we exploit the power of our future computing devices." ®

That list of Grand Challenges in full.

Related stories

Manchester honours Alan Turing
MS to probe human-computer interface
Personal Computer Science boss loses Oz extradition battle

Remote control for virtualized desktops

More from The Register

next story
Renewable energy 'simply WON'T WORK': Top Google engineers
Windmills, solar, tidal - all a 'false hope', say Stanford PhDs
Rosetta probot drilling DENIED: Philae has its 'LEG in the AIR'
NOT best position for scientific fulfillment
FORGET the CLIMATE: FATTIES are a MUCH BIGGER problem - study
Fat guy? Drink or smoke? You're worse than a TERRORIST
SEX BEAST SEALS may be egging each other on to ATTACK PENGUINS
Boffin: 'I think the behaviour is increasing in frequency'
HUMAN DNA 'will be FOUND ON MOON' – rocking boffin Brian Cox
Crowdfund plan to stimulate Blighty's space programme
Post-pub nosh neckfiller: The MIGHTY Scotch egg
Off to the boozer? This delicacy might help mitigate the effects
I'M SO SORRY, sobs Rosetta Brit boffin in 'sexist' sexy shirt storm
'He is just being himself' says proud mum of larger-than-life physicist
NASA launches new climate model at SC14
75 days of supercomputing later ...
LIFE, JIM? Comet probot lander found 'ORGANICS' on far-off iceball
That's it for God, then – if Comet 67P has got complex molecules
prev story

Whitepapers

Why cloud backup?
Combining the latest advancements in disk-based backup with secure, integrated, cloud technologies offer organizations fast and assured recovery of their critical enterprise data.
Getting started with customer-focused identity management
Learn why identity is a fundamental requirement to digital growth, and how without it there is no way to identify and engage customers in a meaningful way.
Reg Reader Research: SaaS based Email and Office Productivity Tools
Read this Reg reader report which provides advice and guidance for SMBs towards the use of SaaS based email and Office productivity tools.
Internet Security Threat Report 2014
An overview and analysis of the year in global threat activity: identify, analyze, and provide commentary on emerging trends in the dynamic threat landscape.
Storage capacity and performance optimization at Mizuno USA
Mizuno USA turn to Tegile storage technology to solve both their SAN and backup issues.