爱德蒙·克拉克

维基百科,自由的百科全书
跳转至: 导航搜索
爱德蒙·克拉克

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

参照[编辑]

外部链接[编辑]

Template:Kanellakis Award laureates