DCS made an impressive showing at the 2011 Association for the Advancement of Artificial Intelligence (AAAI) Conference in San Francisco this August.
PhD student Jessica Davies and her co-authors (Nina Narodytska, Toby Walsh and former DCS grad student George Katsirelos) were honoured with an Outstanding Paper Award for their work, "Complexity of and Algorithms for Borda Manipulation".
The Classic Paper Award category honoured two complementary papers (from 1992), written by faculty member Hector Levesque and his students at the time, David Mitchell and Bart Selman. The papers, "Hard and Easy Distribution of SAT Problems," and "A New Method from Solving Hard Satisfiability Problems" were deemed most influential for "their significant contributions to the area of automated reasoning via methods and analyses on satisfiability, providing foundational insights about constraint satisfaction and search."
Congratulations, all! Find more information on the awards here on the conference site.