Toby Walsh |
Symmetry in Combinatorial SearchThursday, 19th August, 2010, Room 3.2.14
Some of the work described is joint with Marijn Heule, George Katsirelos and Nina Naroditskaya. Short bioToby Walsh is currently Scientific Director of NICTA, adjunct Professor at the University of New South Wales, external Professor at Uppsala University and an honorary fellow of Edinburgh University. He has been elected a fellow of both AAAI and ECCAI. He is an Editor of the Handbook for Constraint Programming, and of the Handbook for Satisfiability. He has been Conference and/or Program Chair of the CP, SAT and IJCAR conferences and will be Program Chair of IJCAI 2011. |