作者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