机器学习
机器学习
图灵奖得主、模型检测之父 Allen Emerson 去世，享年 70 岁
2007 年，他与 Edmund Clarke 和 Joseph Sifakis 一起，因将模型检测技术（Model Checking）发展为一种高效的验证技术，并被硬件和软件行业广泛采用，而获得图灵奖。
顶级 AI 大牛、Fellow 大满贯第一人：周志华出任南京大学副校长
对国内的 AI 从业者而言，周志华教授相当于「中国的吴恩达」。他撰写的《机器学习》一书被视为入门 AI 必备的经典读物，涵盖了机器学习领域的基本概念和算法，被大家亲切称为「西瓜书」。
