计算机科学与技术学院欢迎你 |

新闻通知

  • 综合新闻
  • 学术讲座
  • 校园生活
  • 通知公告

图灵奖获得者Joseph Sifakis教授来我校区讲座

来源:学院 作者:王荐宁 刘尊佳发布时间:2018-07-03阅读:

图灵奖获得者Joseph Sifakis教授来我校区讲座

 

计算机学院宣(王荐宁 刘尊/文、图)627日,法国著名计算机科学家、2007年度图灵奖获得者Joseph Sifakis教授来访校区,为师生做了题为Autonomous System Design的讲座,带给师生一场思想碰撞的盛宴。

Joseph Sifakis教授是2007年图灵奖得主,同时也是美国国家科学院&工程院院士、欧洲科学院院士,他因为模型检测(Model Checking)而获得图灵奖,而这一技术现在广泛应用于计算机硬件,通信协议、控制系统、安全认证协议等方面。

本讲座于当日14:30准时开始,F栋报告厅座无虚席。在讲座中,Joseph Sifakis 教授主要谈到了如何在物联网时代进行自主系统设计的问题,详细解读了随着物联网应用的发展,传感器、通信系统等技术将面临更多的挑战,应充分重视系统安全问题,发展混合关键性系统的设计流程。

在讲座接近尾声时,万博娱乐登陆欢迎光临本科生李宗杰、金逸杰积极提问,与Joseph Sifakis教授互动。讲座结束后,潘施敏、罗璇等本科生代表与讲座人进行了深入的交流探讨,并合影留念。

1.  Joseph Sifakis教授

2.  提问环节

3.  本科生金逸杰提问

4.  本科生潘施敏、罗璇与Joseph Sifakis教授交流

5.  讲座现场

5.合影留念

× 学术夏令营 招生信息