Re: 08 turing award

看板NTUEE_VAL作者 (gan)時間18年前 (2008/02/18 12:04), 編輯推噓0(0推 0噓 2→)
留言2則, 2人參與, 最新討論串2/2 (看更多)
※ 引述《bask (gan)》之銘言： : 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 : model checking出turing award了 : Emerson有個學生在台大電機教書，就是雷老 : 想當名門之後的，快跳過去吧 i . He serves on the steering committee of the International Symposium on Automated Technology for Verification and Analysis (ATVA) as well as the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Dr. Emerson received a B.S. degree in mathematics from University of Texas at Austin, and a Ph.D. in applied mathematics from Harvard University. -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.160.176.36
→
02/18 12:04, , 1F
阿TO的atva也出現了，不知道會不會變難投XD
02/18 12:04, 1F
→
02/18 15:04, , 2F
南投就松松阿投
02/18 15:04, 2F
‣ 更多 bask 的文章
文章代碼(AID): #17kGFLlg (NTUEE_VAL)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共2篇)
‣ 更多 bask 的文章
文章代碼(AID): #17kGFLlg (NTUEE_VAL)