外籍专家短期课程

外籍专家短期课程列表

开设时间

授课外籍专家

外籍专家单位

课程名称

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》

 

 

尊龙凯吋官方网站
学院地址:上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright 尊龙凯时·「中国」官方网站