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

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

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

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