外籍专家短期课程

开设时间

授课外籍专家

外籍专家单位

课程名称

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》