作者bask (gan)
看板NTUEE_VAL
标题Re: 08 turing award
时间Mon Feb 18 12:04:36 2008
※ 引述《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
1F:→ bask:阿TO的atva也出现了,不知道会不会变难投XD 02/18 12:04
2F:→ arjuna:南投就松松阿投 02/18 15:04