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