Paul Nygaard 获奖情况