Professor Stuckey’s work provides a fast and innovative way of working out the most efficient use of resources. Its real-life applications include creating train timetables, staff rosters or helping with water usage allocation.
“This innovation is a major technical achievement promising far-reaching benefits to society,” he said.
The development of “lazy clause generation” helps strike the right balance between two separate approaches to problem-solving for these sorts of tasks.
The category’s other finalists included Sydney University’s David Moss for a system of transmit information optically over silicon (CMOS) integrated circuits and Melbourne University’s Cloudbus Project to help “cloud computing”.
The Eureka Prizes, dubbed the "Oscars of Australian science" offer 20 awards and a total prize pool of $190,000.
The Computer Science section, sponsored by Google
No comments:
Post a Comment