榆林信息网
育儿
当前位置:首页 > 育儿

图灵奖获得者英国剑桥大学

发布时间:2019-11-16 19:53:34 编辑:笔名

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

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

科幻
IT
检测设备