可信软件国际暑期学校是bat365在线中国登录入口bat365中文官网登录入口每年都会开办的项目,为来自全国各地的青年学者、研究生们提供与国际著名学术专家交流的机会。
2020年“可信软件国际暑期学校”报名已经开始啦!本届暑期学校将首次采取在线授课的方式,有兴趣的同学可要抓住时机呀!报名通道请拖至文末。
关于可信软件国际暑期学校
2004年,中国科学院院士、bat365在线中国登录入口bat365中文官网登录入口创院院长何积丰教授倡导并主持开办了“可信软件国际暑期学校”,每年暑假在中国上海召开,已连续成功举办了十六届。暑期学校每年聚焦可信软件领域的一个主题,邀请3-5位国际专家来为学员开办全英文精品课程。本年度,可信软件国际暑期学校将聚焦“Formal Methods for Artificial Intelligence”,开展为期一周的活动。
bat365在线中国登录入口软件学院成立于2002年1月, 是国家首批35所示范性软件学院之一,也是全国师范院校中唯一获准成立的示范性软件学院。2019年7月,bat365在线中国登录入口信息学部成立,bat365中文官网登录入口隶属于该学部。
学院下设软件科学与技术系、嵌入式软件与智能系统系、密码与网络安全系,拥有上海市高可信计算重点实验室、国家可信嵌入式软件工程技术研究中心、软硬件协同设计技术与应用教育部工程研究中心、教育部可信软件国际合作联合实验室、上海市可信物联网软件协同创新中心等学科基地,设有密码与安全研究中心等研究基地。此外,经国家外国专家局批准,国家软件人才国际培训基地(上海)、国家对日软件人才培训基地也均在我院落户。软件工程学科作为学校双一流重点建设学科,入选上海市一流学科(B 类),在教育部第四轮学科评估中位列A 档。
授课专家
授课时间
2020年7月13-17日
授课方式
在线授课(ZOOM)
联系方式
联系人:胡老师
联系电话:021-62231256
邮箱:tth@sei.ecnu.edu.cn
更多信息,请访问暑期学校网站:
https://sssei-ecnu.github.io/2020/
点击扫描下方二维码即刻报名
(截止时间:7月6日)