2007年图灵奖--克拉克、埃默生、希法凯斯简介

      大家好，我是执念斩长河。今天讲述2007年图灵奖获得者克拉克、埃默生、希法凯斯。其中克拉克与埃默生是师生，希法凯斯是法国学者。图灵奖奖励他们为计算机辅助验证技术做出贡献。读完本篇博文大家可以收获： 克拉克身上的导师风范 三人各自贡献 什么是计算机辅助验证技术       克拉克于1945年7月27日生于美国弗吉尼亚州的Newport News。克拉克1967年在弗吉尼亚大学取得数学学士

>>阅读原文<<