Category:Edmund M. Clarke

**爱德蒙·克拉克**
	美国计算机科学家 إدموند كلارك سنة 2006
	上传媒体
	维基百科
母语人名	Edmund Melson Clarke, Jr.;
出生日期	1945年7月27日; 纽波特纽斯
死亡日期	2020年12月22日; 匹兹堡
死亡方式	自然死亡;
死因	2019冠病;
国籍	美国;
就读学校	弗吉尼亚大学 (1967年, 文学士, 数学); 杜克大学 (1968年, 文学硕士, 数学); 康奈尔大学 (1976年, 哲学博士, 电脑科学);
博士生导师	罗伯特·李·康斯特勃;
博士生	布巴内斯瓦尔·米莎拉; 艾伦·爱默生; Sicun Gao; 大卫·L·迪尔; Kenneth L. McMillan; Marius Minea; Sergio Vale Aguiar Campos; Somesh Jha; Xudong Zhao; David Elsey Long; Jerry Robert Burch; Michael Browne; Wilfredo Rogelio Marrero; Aravinda Prasad Sistla; Alex David Groce;
职业	电脑科学家; 大学教员; engineer; 数学家;
雇主	杜克大学 (1976年); 哈佛大学 (1978年); 康奈尔大学 (1982年); 卡内基梅隆大学;
成员属于	电气电子工程师学会; 美国文理科学院 (2011年–); 美国国家工程院 (2005年–); 计算机协会 (ACM会士, 1998年–);
工作领域	信息学; 电脑科学;
母语	英语;
所获奖项	图灵奖 (2007年); 帕里斯·卡内拉基斯奖 (1998年); Herbrand Award (2008年); 亨利·h·古德纪念奖 (2004年); ACM会士 (1998年); IEEE Fellow; Bower Award and Prize for Achievement in Science (2014年); 美国文理科学院院士; 富兰克林研究所奖项 (2014年); honorary doctor of the Vienna Technical University;
	官方网站
规范控制
	Q92819; 国际标准名称标识符: 0000000121197648; 虚拟国际规范文档标识符: 8050749; 整合规范文档标识符: 142488941; 美国国会图书馆规范标识符: n91023249; 法国国家图书馆标识符: 16505624q; IdRef标识符: 060781750; 捷克国家图书馆标识符: stk2007415785; 荷兰皇家图书馆标识符: 069871493; 波兰国家联合图书目录标识符: n99020693; 以色列国家图书馆标识符: 987007457810605171; 数学谱系计划标识符: 50063
	共鸣器; Scholia; Wikidocumentaries; PetScan; 统计学; WikiMap; Locator tool; KML文件; 搜索描述;

English: Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.

<nowiki>Edmund Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; ادموند ام. کلارک; 爱德蒙·克拉克; Edmund M. Clarke; Edmund M. Clarke; 愛德蒙·克拉克; Edmund M. Clarke; ادموند كلارك; Edmund M. Clarke; 愛德蒙·克拉克; 爱德蒙·克拉克; Edmund M. Clarke; Edmund M. Clarke; E. M. Clarke; Edmund M. Clarke; এডমুন্ড এম. ক্লার্ক; Edmund M. Clarke; 愛德蒙·克拉克; 爱德蒙·克拉克; 爱德蒙·克拉克; Edmund Clarke; 에드먼드 M. 클라크; エドムンド・クラーク; Edmund Clarke; Edmund M. Clarke; Кларк, Эдмунд Мельсон; Едмунд Кларк; Едмунд Кларк; Edmund M. Clarke; Edmund Clarke; Edmund Clarke; 爱德蒙·克拉克; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; Edmund M. Clarke; إدموند كلارك; Έντμουντ Μ. Κλαρκ; Edmund M. Clarke; informático teórico estadounidense; informaticien américain; 美国计算机科学家; amerikanischer Informatiker; ríomheolaí Meiriceánach; دانشمند علوم کامپیوتر و مهندس آمریکایی (۱۹۴۵–۲۰۲۰); 美国计算机科学家; amerikansk ingeniør og informatiker; باحث من امريكا; amerikansk ingeniør og informatikar; amerikansk ingeniør og informatiker; Amerikaans informaticus; United States of America karimba ŋun nyɛ doo; American computer scientist; عالم حاسوب أمريكي; amerikansk ingenjör och datavetare; американський науковець у галузі комп'ютерних технологій; Эдмунд Мельсон Кларк; Edmund Melson Clarke; Edmund Melson Clarke, Jr.; Ed Clarke; Edmund Clarke; Edmund Melson Clarke; Edmund M. Clarke; Edmund M Clarke Jr; Edmund M. Clarke Jr.; Edmund M. Clarke; Edmund M Clarke; Edmund Melson Clarke, Jr.; 艾德蒙·克拉克 (Edmund Clarke); Edmund Melson Clarke; Edmund Melson Clarke, Jr.; Edmund Clarke</nowiki>