2007年圖靈獎--克拉克、埃默生、希法凱斯簡介

      大家好，我是執念斬長河。今天講述2007年圖靈獎獲得者克拉克、埃默生、希法凱斯。其中克拉克與埃默生是師生，希法凱斯是法國學者。圖靈獎獎勵他們爲計算機輔助驗證技術做出貢獻。讀完本篇博文大家可以收穫： 克拉克身上的導師風範 三人各自貢獻 什麼是計算機輔助驗證技術       克拉克於1945年7月27日生於美國弗吉尼亞州的Newport News。克拉克1967年在弗吉尼亞大學取得數學學士

>>阅读原文<<