外籍专家短期课程
外籍专家短期课程列表
开设时间 | 授课外籍专家 | 外籍专家单位 | 课程名称 |
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》 |
