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

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

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

Engstrom 于 1994 年与 Alex St. John 和 Craig Eisler 一起创建了 DirectX游戏 API,用来简化 Windows 游戏开发,即使在今天,DirectX 依然是非常出色的游戏开发平台。
DirectX 加强 3D 图形和声音效果,并提供设计人员一个共同的硬件驱动标准,让游戏开发者不必为每一品牌的硬件来写不同的驱动程序,也降低了用户安装及设置硬件的复杂度。(百度百科)
1994年,圣约翰(St. John)聘请 Engstrom 来使即将面世的 Window 95 中的游戏实用化。据当时的游戏开发人员说,由于 MS-DOS 的低开销和更大的 DOS 控制能力 ,因此,他们会偏爱 MS-DOS。并且发现 Windows 3.1 太难开发游戏了—因此才诞生 DirectX (最初称为 Manhattan Project)到第二次世界大战的同名作品。)
在当时,微软的管理层几乎放弃了这个项目,并取消了 Windows 作为游戏平台。幸运的是,他们被说服了。
在 1995 年的游戏开发者大会上,Engstrom 和他的团队展示了第一个DirectX API。在当年 9 月,它们以 Windows Games SDK 的形式发布。
发展至今,DirectX 让 Windows 成为 PC 游戏的首选平台。就目前而言,DirectX 仍然是 Windows 10和 Xbox Series X 上许多游戏的基础。
 

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

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

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

Edmund M. Clarke 先生出生于 1945 年。先后于 1967 年在弗吉尼亚大学获得数学学士学位,1968 年在杜克大学取得数学硕士学位、1976 年在康奈尔大学获得计算机博士学位。
 
在之后,Clarke 教授在杜克大学任教两年后,于 1978 年加入哈佛大学并担任助教。1981年,他与自己的博士生 Allen Emerson 首次提出了模型检测的想法并用在自动机并发系统的验证研究上,成为形式逻辑研究方面模型检查的开创者之一。
 
1982 年,Clarke 教授加入了卡内基梅隆大学计算机系,并于 1989 年被评为全职终身教授一职。1995 年,Clarke 成为了卡内基梅隆大学计算机科学学院 FORE Systems Professorship 的首位获奖者;2008 年被评为 University Professor,这是卡内基梅隆大学最高的教师荣誉。
 
此外,Clarke 教授还是 1998 年 ACM Kanellakis 奖、1999 年 Allen Newell 卓越研究奖、2004 年 IEEE Harry H. Goode 纪念奖和 2008 年 Herbrand 奖的共同获得者。2014 年,富兰克林研究所向他颁发了鲍尔奖和科学成就奖,以表彰他在计算机系统验证技术的构思和开发方面的领导作用。
 
Edmund M. Clarke 于 1968 年与高中女友 Martha W. Clarke 结婚。据悉,他对妻子说的最后一句话是"我爱你"。由于疫情限制,追悼会将以私人模式举办,计划于当地时间 12 月 28 日星期一下午 2 点线上直播。

 

 

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

 

原创文章,作者:ItWorker,如若转载,请注明出处:https://blog.ytso.com/258397.html

(0)
上一篇 2022年5月20日
下一篇 2022年5月20日

相关推荐

发表回复

登录后才能评论