A Toronto researcher who has dedicated his career to proving whether certain types of problems are solvable by computers has won this year's Gerhard Herzberg Canada Gold Medal for Science and ...