南科大计算机系图灵教授,图灵奖得主、我校杰出教授Joseph Sifakis南科大讲堂解读自主系统...

2019年1月15日，图灵奖得主、我校杰出教授Joseph Sifakis 走进南科大讲堂，为师生们带来了题为“Autonomous Systems-A Rigorous Architectural Characterization(自主系统——严谨的架构描述)”的学术报告。我校校长陈十一出席并为Joseph Sifakis颁发南科大讲堂嘉宾证书。计算机科学与工程系主任姚新主持本期讲堂。

陈十一为Joseph Sifakis颁发南科大讲堂嘉宾证书

Joseph Sifakis于2019年1月7日正式加入南方科技大学计算机科学与工程系，现为南科大杰出教授(Distinguished Professor)。他是法国国家科研中心荣誉研究员、格勒诺布尔市Verimag实验室创始人，法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士及美国国家工程院院士。研究领域主要包括系统设计的基本概念和应用，主要专注于系统设计的形式化，即根据特定的要求实现可信赖、最优化且构造正确的系统。

2007年，Joseph Sifakis被美国计算机协会(ACM)授予有“计算机界的诺贝尔奖”之称的图灵奖，以表彰其在模型检查理论和应用方面做出的卓越贡献。

讲堂现场

Joseph Sifakis在报告中指出，当今物联网的愿景是实现“自主”，即将智能服务更好地集成于系统，且最大限度地减少人为干预。基于自主系统的设计问题，Joseph Sifakis 提出了一种结合系统构架模型和智能体模型的通用计算模型，旨在调节自主系统中“智能体”(Agent) 和“对象”(Object)的关系。该架构模型结合感知、知识库、目标管理、规划和自适应五个基本方面，促使系统根据各种突发环境条件独立实现动态可重构的多模式协调，从而使系统自主地完成任务。随后，Joseph Sifakis 通过对比现阶段机器自主和人类辅助机器自主之间的差距，阐明了现阶段构建自主系统这项技术的难度。

Joseph Sifakis作报告

Joseph Sifakis 在总结时表示，自主系统不应只关注实现技术，而应强调系统的功能设计，建立“可信赖”(Trustworthiness)和“优化” (Optimization)的自主系统。

问答环节中，学生们踊跃提问，与大师面对面交流计算机方面的思考与心得，现场气氛热烈。

供稿：计算机科学与工程系

图片：学生新闻社肖林婷

南科大计算机系图灵教授,图灵奖得主、我校杰出教授Joseph Sifakis南科大讲堂解读自主系统...相关推荐

专访2017未来科学大奖“数学与计算机科学”奖得主许晨阳教授
未来科学大奖是民间发起并出资设立的一个科学研究奖项,2016年1月17日宣布成立,奖金为100万美元.首届设"生命科学奖"和"物质科学奖"两个奖项,第二届增设数 ...
【GPT-4】立即停止训练比 GPT-4 更强的模型，至少六个月！马斯克、图灵奖得主等数千 AI 专家紧急呼吁
毋庸置疑,ChatGPT.GPT-4 引领了 AI 新时代的到来,但这种让很多环节都可以实现自动化流程的工具也让人颇为恐慌. 据路透社报道,包括图灵奖得主 Yoshua Bengio.伯克利计算机科学 ...
图灵奖得主Sivio Micali的Algorand区块链协议简介
2018年2月,图灵奖得主.MIT教授Sivio Micali募集400万美元开发Algorand区块链协议一事受到了国内外媒体的普遍关注.2017年春天,笔者有幸在MIT选修了Micali教授和MI ...
专访图灵奖得主David Patterson：8年前就得知被提名，AI跃迁看好边缘计算
栗子李根发自清华量子位报道 | 公众号 QbitAI 2017年图灵奖,最终颁给了John L. Hennessy和David A. Patterson. 他们一个是前斯坦福大学校长.现A ...
计算机应用数学,图灵奖得主姚期智的硬课：计算机应用数学
原标题:图灵奖得主姚期智的硬课:计算机应用数学 "How to win a Nobel like Nash?"课程伊始,老师向同学们抛出这个问题.提问的教授姚期智,是世界著名计算机 ...
区块链协议新方向-图灵奖得主Macali开发Algorand
2018年2月,图灵奖得主.MIT教授Sivio Micali募集400万美元开发Algorand区块链协议,该协议作为区块链底层技术发展的一个重要的方向,受到了国内外的普遍关注.本文对algoran ...
2007图灵奖得主离开了：模型检测先驱Edmund Clarke因新冠逝世
视学算法报道作者:蛋酱.张倩 2020 还能更糟糕吗? 12 月 23 日,英特尔量子硬件研究组总监 James S. Clarke 发文表示,他的父亲.2007 年图灵奖得主 Edmund M. ...
哀悼！2007年图灵奖得主Edmund Clarke因感染新冠逝世
转载自:AI科技评论最新消息,当地时间12月23日,2007年图灵奖得主Edmund M. Clarke(爱德蒙·克拉克)因感染新冠肺炎不幸去世. 其子James S. Clarke随后发推文缅怀父 ...
图灵奖得主Judea Pearl ：从“贝叶斯网络之父”到“AI社区的叛徒”
图灵奖得主Judea Pearl,早在40多年前便通过贝叶斯网的设计,使机器实现概率推理而在人工智能领域声名大噪,并被誉为"贝叶斯网络之父",但近年却公开声称自己其实是人工智能社 ...

南科大计算机系图灵教授,图灵奖得主、我校杰出教授Joseph Sifakis南科大讲堂解读自主系统...

南科大计算机系图灵教授,图灵奖得主、我校杰出教授Joseph Sifakis南科大讲堂解读自主系统...相关推荐

最新文章

热门文章