外籍专家短期课程

外籍专家短期课程列表

开设时间

授课外籍专家

外籍专家单位

课程名称

2013.2-6

Michael J. Franklin教授

美国加州大学伯克利分校计算机系

《数据分析与处理》

2013.9-11

Jean-Raymond Abrial教授

欧洲科学院院士、原瑞士联邦理工大学

《Event B》

2013.9

Farhad Arbab教授

荷兰计算机科学与数学研究中心

《组件技术及其应用》

2013.9

Jonathan Bowen教授

英国London South Bank University

《形式化方法》

2013.11

Antoine MinéJerome Feret Xavier Rival教授

巴黎高师

《抽象解释技术》

2014.7 Richard Banach 教授  英国曼彻斯特大学  《Event B》

2015.5

Marcello Bonsangue教授

荷兰莱顿大学

《A coalgebraic view on automata theory》

2015.6

Michael Hinchey 教授

欧洲科学院院士、爱尔兰Limerick大学

《UTP风格的证明以及UTP语言的定义》

2015.11
 Thomas Kunz教授 
 加拿大卡尔顿大学
《Advanced Networking》

2016.06

Richard Banach副教授

英国曼彻斯特大学

 

2017.05-2017.06

Pierre-Louis Curien教授

法国巴黎七大

《Introduction to Homotopy Type Theory

2017.05

Jean-Raymond Abrial教授

欧洲科学院院士

《可信软件开发与验证

2018.03-2018.05

Manaswini Pradhan博士

印度Fakir Mohan大学

《Big Data Analytics

2018.05-2018.06

Rynson Lau教授

香港城市大学

《Visual Media Analysis

2018.09-2018.11

Kang ZHANG教授

美国德克萨斯大学达拉斯分校

《Visual Computing

2018.11

Pierre-Louis Curien教授

法国巴黎七大

《Principles of Programming Languages》

2018.11

Dines Bjorner教授

欧洲科学院院士/ACM FELLOW/IEEE FELLOW

《Domain Analysis and Description》

 

 

华东师范大学软件工程学院
www.sei.ecnu.edu.cn Copyright School of Software Engineering
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼