外籍专家短期课程

外籍专家短期课程列表

开设时间

授课外籍专家

外籍专家单位

课程名称

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》

 

 

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