做验证的大牛

newlinux · 发表于 2010-10-9 22:57:01

好像国内没有专门说谁是做验证的吧？有这样的教授？

taotaogou · 发表于 2010-10-11 13:58:47

唉已经接触验证一段时间了，发现国内最牛逼的还是国防科大，可惜政治原因不能抛头露面，其次就是中科院计算机所了，但是这帮孙子真行，基金没少拿结果全拿去买龙芯了，唉悲哀啊。国外的话，CMU有一个拿过图灵奖的教授是做formal verification的牛逼坏了，剩下的几乎都是中国教授了。感兴趣的同学可以私聊。

suntou · 发表于 2010-10-15 15:11:08

嘿嘿！

taotaogou · 发表于 2010-10-22 03:54:39

hahahha

xue716 · 发表于 2010-10-22 05:44:35

回复 24# taotaogou

thanksthanks

taotaogou · 发表于 2011-7-23 04:53:35

冒个泡

[求助] 做验证的大牛

站长推荐 /2