图灵奖获得者、英国剑桥大学Robin.Milner教授访问我校并做学术报

　　图灵奖获得者、英国剑桥大学Robin.Milner教授访问我校并做学术报告-新闻网图灵奖获得者、英国剑桥大学Robin.Milner教授访问我校并做学术报告 点击数:加入时间:2005-04-20 4月19日上午，图灵奖获得者、英国剑桥大学Robin.Milner教授携夫人莅临我校访问并做学术报告。校长李未院士接见了Robin.Milner教授及其夫人并主持了报告会。如心大报告厅内座无虚席，近300名计算机学院、软件学院的师生聆听了Robin.Milner教授所作的题为《计算科学的前沿》的学术报告。 Robin.Milner教授还饶有兴致地参观了软件开发环境国家重点实验室和民航数据通讯及新航行系统重点实验室并与实验室的师生进行了交流。 Robin.Milner教授对早期计算机的理论和实践做出了突出的贡献。他在计算机研究领域有三个重要贡献： 1) 形式化逻辑系统的一个数学模型LCF(Logic of Computable Functions)； 2) 多态类型的元语言ML； 3) 并行计算的理论CCS(Calculus for Communication)。 1991年Robin.Milner教授获得图灵奖。图灵奖是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的。 (李成伟) 李校长与Robin.Milner教授夫妇亲切交谈 李校长主持Robin.Milner教授报告会 合影