电机工程

首页 > 电机工程

爱德蒙·克拉克

2018-08-22 10:20:25     所属分类:IEEE_Fellow
爱德蒙·克拉克

爱德蒙·克拉克英语:Edmund M. Clarke,1945年7月27日),美国计算机科学家。2007年,他与艾伦·爱默生和约瑟夫·斯发基斯一起因在Model checking取得的杰出贡献而获得图灵奖。[1]

参照

  1. ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04. 

外部链接

  • 爱德蒙·克拉克 在数学谱系计划的资料。
  • Home page at Carnegie Mellon University
  • Turing Award announcement
  • Model Checking book
  • CMACS home page

显示全文

取消

感谢您的支持,我会继续努力的!

扫码支持
无需打赏可直接关闭阅读全文
1分,2分不嫌少,钱不钱的无所谓,重要的是你的话语激励我前行!

愿你每天温暖如春!!!


上一篇:西蒙·海肯
相关推荐