南方科大计算机学院院长,新闻详情 - 计算机科学与工程系

2019年1月15日，南方科技大学杰出教授、图灵奖得主 Prof. Joseph Sifakis 做客南科大讲堂，为南科大师生带来了一场题为“Autonomous Systems-A Rigorous Architectural Characterization自主系统——严谨的架构描述”的学术报告。我校计算机科学与工程系主任姚新主持本期大讲堂。

Prof. Joseph Sifakis

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

陈十一校长为Prof. Joseph Sifakis颁发南科大讲堂证书

在总结阶段，Prof. Joseph Sifakis 概述了其研究结果：“自主”作为一种广泛的智能，不应只局限于特定的实现技术，而应强调系统的功能设计；建立“可信赖”(Trustworthiness)和“优化” (Optimization)的自主系统远远超过目前人工智能系统所面临的挑战。

嘉宾介绍

图灵奖得主Prof. Joseph Sifakis于2019年1月7日正式加入南方科技大学计算机系，现为南方科技大学杰出教授(Distinguished Professor)。他是法国国家科研中心的荣誉研究员，同时也是格勒诺布尔市Verimag实验室的创始人，研究领域主要包括系统设计的基本概念和应用。Prof. Joseph Sifakis 主要专注于系统设计的形式化，即根据特定的要求实现可信赖、最优化且构造正确的系统。2011年到2016年期间，Prof. Joseph Sifakis 于洛桑联邦理工学院(EPFL)担任正教授一职。2007年，Prof. Joseph Sifakis 被授予了图灵奖，以表彰其在模型检查理论和应用方面做出的卓越贡献。Prof. Joseph Sifakis 是法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士及美国国家工程院院士。

南方科大计算机学院院长,新闻详情 - 计算机科学与工程系 - 南方科技大学相关推荐

南方科技大学计算机材料工程,新闻详情 - 计算机科学与工程系 - 南方科技大学...
英特尔智能网联汽车大学合作研究中心第一次研讨会于近日在京举行,标志着研究中心继5月30日成立后的正式启航.研讨会上,来自英特尔全球各部门的技术专家与产业界和学术界的伙伴齐聚一堂,共同探索和推动智能网联 ...
南方科技大学计算机系图灵班,新闻详情 - 计算机科学与工程系 - 南方科技大学...
2020年6月28日至29日,为期两天的南方科技大学计算机科学与工程系2020年年度战略研讨会顺利召开.南科大工学院院长徐政和教授受邀参与会议.计算机系全体教研序列教授.教学序列教授.研究序列教授.实 ...
南方科技大学计算机科学与工程系实验员杨超,新闻详情 - 计算机科学与工程系 - 南方科技大学...
10月22日,南方科技大学2020年"国家奖学金"评选活动落下帷幕.通过学生申请.班级评议.书院评选.学校评审,来自六个书院的八位报名者脱颖而出,成为南科大2020年国奖获得者.其 ...
香港理工大学计算机科学教授,新闻详情 - 计算机科学与工程系 - 南方科技大学...
2018年11月6日至7日,由南方科技大学人工智能研究院.深圳市计算智能重点实验室.广东省普通高校演化智能系统实验室和南方科技大学计算机工程系联合举办的大湾区人工智能学术研讨会(Great Bay A ...
国防科大计算机学院王学慧,计算机科学与软件工程学院教师赴国防科技大学计算机学院进行教学调研...
12月1日,计算机科学与软件工程学院六名教师赴国防科技大学计算机学院开展教学调研工作.由副院长姜宁康带队,软件科学与技术系主任朱惠彪.院长助理曹桂涛.陆幼利副教授.杨燕老师和计算机系主任助理窦亮老师一 ...
山科大计算机学院硕士生导师简介2020,2020年电子科技大学计算机科学与工程学院（网络空间安全学院）第一批次拟录取硕士研究生关于提交意向导师申请的通知...
据悉,2020年电子科技大学计算机科学与工程学院(网络空间安全学院)第一批次拟录取硕士研究生关于提交意向导师申请的通知已公布,聚创电子科技大学考研小编为你整理如下内容: 各位第一批次拟录取为我院硕士研 ...
国防科大计算机学院李健老师,李剑 - 教师个人主页 - 南方科技大学
主要研究兴趣为超导量子器件和量子线路,以及其在量子计算和量子模拟领域的应用.发表包括Nature.Nature Communications.Physical Review Letters.Advan ...
CMU计算机学院院长Andrew Moore离职，下一任院长人选未定
夏乙发自凹非寺量子位出品 | 公众号 QbitAI 企业挖角圣地卡耐基梅隆大学(CMU),今天又出了大新闻: 计算机学院院长Andrew Moore离职了. CMU今天宣布,Andrew Mo ...
华南理工大学计算机科学与工程学院篡改,华南理工通报研究生成绩被修改事件：计算机学院院长被免职...
(观察者网讯) 华南理工今天下午通报"院长修改研究生分数"一事:计算机学院院长张军等违规修改10名考生复试成绩,决定免去其院长职务并解除聘用合同:开除其他3人党籍. 图自微博据观 ...

南方科大计算机学院院长,新闻详情 - 计算机科学与工程系 - 南方科技大学

南方科大计算机学院院长,新闻详情 - 计算机科学与工程系 - 南方科技大学相关推荐

最新文章

热门文章