计算机巨星陨落！图灵奖得主Edmund M. Clarke与游戏之父 Eric Engstrom 相继离世

发布时间：2020-12-29 07:58:36来源：21CTO

DirectX作者EricEngstrom意外离世

DirectX创作者EricEngstrom因意外受伤导致并发症不幸去世，享年55岁。

Engstrom于1994年与AlexSt.John和CraigEisler一起创建了DirectX游戏API，用来简化Windows游戏开发，即使在今天，DirectX依然是非常出色的游戏开发平台。

DirectX加强3D图形和声音效果，并提供设计人员一个共同的硬件驱动标准，让游戏开发者不必为每一品牌的硬件来写不同的驱动程序，也降低了用户安装及设置硬件的复杂度。（百度百科）

1994年，圣约翰（St.John）聘请Engstrom来使即将面世的Window95中的游戏实用化。据当时的游戏开发人员说，由于MS-DOS的低开销和更大的DOS控制能力，因此，他们会偏爱MS-DOS。并且发现Windows3.1太难开发游戏了—因此才诞生DirectX（最初称为ManhattanProject）到第二次世界大战的同名作品。）

在当时，微软的管理层几乎放弃了这个项目，并取消了Windows作为游戏平台。幸运的是，他们被说服了。

在1995年的游戏开发者大会上，Engstrom和他的团队展示了第一个DirectXAPI。在当年9月，它们以WindowsGamesSDK的形式发布。

发展至今，DirectX让Windows成为PC游戏的首选平台。就目前而言，DirectX仍然是Windows10和XboxSeriesX上许多游戏的基础。

2007年图灵奖得主EdmudM.Clarke感染新冠肺炎去世

美国当地时间的12月23日，英特尔实验室量子硬件研究总监JamesS.Clarke在Twitter发布了一封讣告宣布：他的父亲——2007年图灵奖得主EdmundM.Clarke因新冠肺炎感染不幸去世，享年75岁。

2007年，年度图灵奖被授予给了EdmundM.Clarke、EAllenEmerson和JosephSifakis这三位科学家，以表彰他们开发模型检测技术，并使其成为一个广泛应用在计算机硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。

EdmundM.Clarke先生出生于1945年。先后于1967年在弗吉尼亚大学获得数学学士学位，1968年在杜克大学取得数学硕士学位、1976年在康奈尔大学获得计算机博士学位。

在之后，Clarke教授在杜克大学任教两年后，于1978年加入哈佛大学并担任助教。1981年，他与自己的博士生AllenEmerson首次提出了模型检测的想法并用在自动机并发系统的验证研究上，成为形式逻辑研究方面模型检查的开创者之一。

1982年，Clarke教授加入了卡内基梅隆大学计算机系，并于1989年被评为全职终身教授一职。1995年，Clarke成为了卡内基梅隆大学计算机科学学院FORESystemsProfessorship的首位获奖者；2008年被评为UniversityProfessor，这是卡内基梅隆大学最高的教师荣誉。

此外，Clarke教授还是1998年ACMKanellakis奖、1999年AllenNewell卓越研究奖、2004年IEEEHarryH.Goode纪念奖和2008年Herbrand奖的共同获得者。2014年，富兰克林研究所向他颁发了鲍尔奖和科学成就奖，以表彰他在计算机系统验证技术的构思和开发方面的领导作用。

EdmundM.Clarke于1968年与高中女友MarthaW.Clarke结婚。据悉，他对妻子说的最后一句话是"我爱你"。由于疫情限制，追悼会将以私人模式举办，计划于当地时间12月28日星期一下午2点线上直播。

来源：综合自外媒以及兄弟公众号，一并致谢

相关阅读：

21CTO.com是中国互联网第一技术社交与学习平台。为CTO、技术总监，技术专家，架构师、技术经理，高级研发工程师、PM等提供学习成长，教育培训，工作机会、人脉影响力等产品，同时为企业提供人才招聘，企业培训，软件研发等服务。