08 turing award
http://newswire.ascribe.org/cgi-bin/behold.pl?ascribeid=20080204.062937
ACM President Stuart Feldman said the work of Clarke, Emerson and Sifakis
has had a major impact on designers and manufacturers of semicoDnductor chip
He was a co-recipient of the 2006 Test-of-Time Award from the IEEE Symposium
on Logic in Computer Science (LICS) for his research on efficient Model
Checking in the propositional mu-calculus, a highly expressive temporal
logic, with Chin-Laung Lei.
~~~~~~~~~~~~~
model checking出turing award了
Emerson有個學生在台大電機教書，就是雷老
想當名門之後的，快跳過去吧
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.176.36
→
02/18 11:58, , 1F
02/18 11:58, 1F
※ 編輯: bask 來自: 218.160.176.36 (02/19 18:18)
→
02/19 18:19, , 2F
02/19 18:19, 2F
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：