计算机科学家、2007年ACM图灵奖得主Edmund M. Clarke因新冠疫情逝世

GreeK

2020-12-14T20:56:51+00:00

[img]https://img.nga.178.com/attachments/mon_202012/24/-7Q5-c23sZcT1kShs-12i.jpg.medium.jpg[/img]

消息来源其儿子的推文。
此人代表成果Model Checking，绝对是计算机届的巨佬了，享年75岁。这个级别的科学家都能放生的吗...[s:a2:恨]

[url]https://mobile.twitter.com/Jim_in_Oregon/status/1341546882321944576[/url]

SYHA

唉，只能祝他一路走好了。

重磅！我国科学家成功研制全球神经元规模最大的类脑计算机说到核弹，我看kurz这个科普频道和科学家一起计算过，核弹爆炸的余波一百年就能恢复了计算机拿到满意的offer还有必要读研吗计算机？还是曲线救国？考研求助计算机专硕现属电子信息大类考公是不是成三不限了？ [计算机强无敌]据说计算机本科工资比生物博士都高？计算机博士一般需要读多久？如果35之前毕业年龄会不会太大了？计算机求导数和积分，可以使用硬算的方式吗？内有例题计算机已经严重饱和了，盲目报志愿不可取

返回主页