学术动态
首页> 学术动态

大数据学院举办Nested Timed Automata, Revisited学术报告

文章来源: 教科办 作者: 教科办 2018-01-16

分享

李国强博士于1月15日下午 16:00-17:00在大数据学院九层进行了题为 “Nested Timed Automata, Revisited”的学术报告。本讲座由大数据学院主办。黄迟系主任主持报告会,大数据学院的部分教师和学生代表参会。

李国强博士于1月15日下午 16:00-17:00在大数据学院九层进行了题为 “Nested Timed Automata, Revisited”的学术报告。本讲座由大数据学院主办。黄迟系主任主持报告会,大数据学院的部分教师和学生代表参会。

李国强博士重点介绍了嵌套的时间自动机方面的内容,并回答了大家的问题。


IMG_0630_副本.jpg

李国强博士现为上海交通大学软件学院副教授。李国强博士先后在太原理工大学、上海交通大学和日本北陆先端科学技术大学院大学 (JAIST) 取得学士 (2001)、硕士 (2005) 和博士 (2008) 学位。2008年至2009年,李国强博士在日本名古屋大学信息科学院担任博士后研究员;2009年至2013年,他在上海交通大学软件学院担任助理教授;2015年 - 2016年,他作为访问学者访问英国牛津大学计算机科学系。

QQ图片20180116133430.jpg


校内网站

友情链接: