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