▲ 约瑟夫·希发基思 大大江小浪 popsite.cn 2026/10/12 约瑟夫·希发基思（Joseph Sifakis，1946年12月26日 - ），一位出生于希腊的法国计算机科学家，与 爱德蒙·克拉克 和 E. Allen Emerson 共同获得2007年图灵奖，以表彰他们在将模型检查发展为一种高效验证技术，并被硬件和软件行业广泛采用方面所做的工作。… 讨论 登录后参与讨论 还没有评论，来说第一句吧。 大江小浪 的其他文章 又菜又爱-2026年CTF参赛感受 2026/11/01 查尔斯·萨克尔 2026/10/30 昌平马拉松PB了 2026/10/27 芭芭拉·利斯科夫 2026/10/22 艾伦·爱默生 2026/10/13
讨论
登录后参与讨论
还没有评论，来说第一句吧。