年度 2006
类别 其他
奖项名称 IEEE Symposium on Logic in Computer Science (LICS) 首届「Test-of-Time Award」
受奖人 项洁
历年得奖次数 1