▲ 艾伦·爱默生 大大江小浪 popsite.cn 2026/10/13 艾伦·爱默生（Allen emerson，1954年6月2日 - 2024年10月16日），美国计算机科学家，将模型检查开发为一种高效的验证技术，广泛应用于硬件和软件行业，获得2007年图灵奖。… 讨论 登录后参与讨论 还没有评论，来说第一句吧。 大江小浪 的其他文章 又菜又爱-2026年CTF参赛感受 2026/11/01 查尔斯·萨克尔 2026/10/30 昌平马拉松PB了 2026/10/27 芭芭拉·利斯科夫 2026/10/22 约瑟夫·希发基思 2026/10/12
讨论
登录后参与讨论
还没有评论，来说第一句吧。