ACM图灵奖获得者Joseph Sifakis教授在计算学部做在线学术报告

   2021年6月19日下午，计算学部邀请了2007年ACM图灵奖获得者Joseph Sifakis教授做在线学术报告，主题是“自主系统”。。本次讲座由计算学部学术事务助理张羽主持，学部相关教师及百余名本硕博学生参加。  计算学部主任、计算机学院院长刘挺教授致欢迎词，对Joseph Sifakis教授为计算学部的教师与学生作报告表示衷心的感谢。Joseph Sifakis教授曾于2017-…