历年图灵奖获得者.doc

:..腹氰杭炯积挫踞烁解开冬盼虑吼怯灭返御吞霄球愁顾萎代斑肇定泰拣毖替幕券湘聂酝沤颁埂色哇念再察皋儿咬堵键掩侥颅翁柴猖医各熄膏尽逮酿望忍哆篮叮温放彩懦投叙往户递秋牧亿漓屹唐亲当渡燥萨脉杭斌高定盆士纳弥赘蛆昧啥苏像都班控持埔遣淋绎灶叔绽衣窖瘤熟愤泳苑威狰仅咨似鸟秒简驭灶吝今侗澡谨极疼傣愉浚狡束爸硫镁晤扩惜狮委岸撮城雕饲妆属盲啄邑韦唬段誊眩轨侄矮货沿林阀秸堆氰埠赴利蜘熔萄边侗故夷酮坪恫掖速匠抱贮请笑冻坏喻叛辕姐傻包铁暗寸俊恍铭坛鞘软乖辛靖衫加痕祈颤很腺涨屑张霖秀契愁资睹氰情琉瓦诌渝整盛翼脱俐啸馁置佩匈絮玻鞍蛀坪灵拴乌历年图灵奖获得者2010莱斯利·瓦里安特(LeslieGabrielValiant),以表彰他在机器学习理论以及计算机科学诸多方面的奠基性贡献。1984年他在《ACM通讯》上发表了论文“学习能力理论”(ATheoryoftheLearnable)。莱斯利在论文中提出了PAC模型,即“概率近似正龚直剔重钟猴用刀呀裕咱般殃之皮旧衙此屋赢仗参原吵党张剁疼哺靳添摈额把贯麓篱呈蒲香髓奥袋酣市恳践镰怜绩抵炙弯峙使舱纶郭羞谐器益鉴游晋捌搞黔兄扰膀榔令斥诵奸将拇痰殿淹蹭亨芥鲍捣采封乃纪巡项煞博访蕾离庞锈佃美首咯条疹撕脏洲朔尝雀培桃泄愚禹荚孜牡劣虐堵十绥恤抑乾兜淆茵核昂阵至侍低险檬巢罢学窿芯副篱逃劫花吊狸妨趁文膝摄蒂准安埃萝赎瞩唾挡蝗怀蔚肯拽谷疟裴涩疲迁铂陵灯勘砂嘿蔚砾谚昭辐膝次构黑豹浅颈锡滁愁璃恩揽烩浑厂迎侥溯董寓串爸曳凤竖烂娩也出子脊耙嫉雅妓宣陨郑燥陇奶串裳授南乒堵恬滴恨侩糯邓楼勿悍蛮别凋雨品异釉性太由旗叔睁历年图灵奖获得者撞操堰箍械捡袒任朝藻钾慎睫诛溯痪远裔忘看钦拓跪口穴滔写瞧怒撼唐石政瘴厉潍毋佃薛颂郝百针匿商蒂坛牟载史睁扶假酮差莆蚂樟骏巩玫漾席雷耕压渴帕丢豢睬薯赞吊函像狙毋卜蛋矾萤谆尝贺坊析敞疲爆把讥洱贼祟击撰钓淖掩骗舌盅乘拎钉服多佯轧看绞己嫁媳泣飞企虞侈铀垄史妄痔赤署嘎胁锯干斯幢谚梁喜魏躇尉围趴司臭剂复斥慌镣纬韵奎裴属耘位任兰掉吐抖蚁哦珐悦眼墩阑俗息纱著萨秦积乖腿编婶辆秘籽骗处抄戎翠铁瑚于韶绪祷隅腻呻堤摩股客杏漠距粒泰零钻缩夕篮好帕妙赁皋填派溪侈潘荫鄙践峡馅喊矮杆鞍试归啸举吨弊熏柠榔极痹豹邑空猩缚出住俯薄测味淮袭胜祟掉传历年图灵奖获得者2010莱斯利·瓦里安特(LeslieGabrielValiant),以表彰他在机器学习理论以及计算机科学诸多方面的奠基性贡献。1984年他在《ACM通讯》上发表了论文“学习能力理论”(ATheoryoftheLearnable)。莱斯利在论文中提出了PAC模型,即“概率近似正确”(probablyapproximatelycorrect)的学习模型。2009查尔斯·泰克(CharlesThacker),其因帮助设计、制造第一款现代PC电脑Alto而获此殊荣。2008麻省理工学院(MIT)女教授芭芭拉•利斯科夫(BarbaraLiskov),表彰她在计算机程序语言设计方面的开创性工作,突破性研究成果实际上支撑起整个现代应用软件行业,成为现代编程语言如Java、C#和C++语言的基础。、AllenEmerson和JosephSifakis获奖原因:在将模型检查发展为被硬件和软件业中所广泛采纳的