耶鲁大学邵中：操作系统发展拐点已到，我们需要的是“反黑客入侵”的CertiKOS | CCF-GAIR 2017 *耶鲁大学邵中教授在CCF-GAIR 2017大会现场 雷锋网按：2017年7月9日，中国计算机学会（CCF）主办、雷锋网与香港中文大学（深圳）承办的第二届全球人工智能与机器人峰会（CCF-GAIR 2017）进入到最后一天的议程。自动驾驶作为人工智能大潮中一个最重要的分支，在这天得到广泛而深入的探讨。 事实上，自动驾驶的各个环节，都不得不面对网络安全问题。来自耶鲁大学的邵中教授，作为计算机程序语言设计的权威专家受邀进行了大会主