→ bask:阿TO的atva也出現了，不知道會不會變難投XD 02/18 12:04
→ arjuna:南投就松松阿投 02/18 15:04
※ 引述《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