2014年计算机科学与技术学科系列学术报告之十二

题  目： Time-Sensitive Pushdown Automata

主讲人：李国强

时  间：2014年11月17日（周一）下午16:00—17:30

地   点：1号教学楼204

主讲人简介：

    李国强，2008年获得日本北陆先端科学技术大学/Japan Advanced Institute of Science and Technology (JAIST)博士学位。2008-09年期间任名古屋大学/ Nagoya University信息科学研究科博士后研究员。现为上海交通大学软件学院副教授，研究方向为形式化验证、程序语言理论、软件工程理论。2012，2014年先后获国家自然科学基金青年基金项目、面上项目等。