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