作者bask (gan)
看板NTUEE_VAL
標題08 turing award
時間Mon Feb 18 11:58:24 2008
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
1F：→ bask:聽說名門之後找教職很容易XD 02/18 11:58
※ 編輯: bask 來自: 218.160.176.36 (02/19 18:18)
2F：→ bask:跟對老闆，turing award就到手一半 02/19 18:19