报告题目：简化式语言分析与可重启式自动机

报告人：王奇超

报告人简介：现就职于德国卡塞尔大学（Universität Kassel）电子信息工程学院，从事科研和教学工作多年，曾在欧洲最大的提款机制造商Wincor Nixdorf公司平台软件部工作。旅德八年期间先后在帕德博恩大学（Universität Paderborn）和卡塞尔大学（Universität Kassel）攻读了硕士和博士学位，研究领域为形式化语言，师从该领域著名学者Friedrich Otto教授。近年来发表了多篇SCI及EI检索论文，并参与组织了NCMA等国际会议。

时  间：4月5日下午14：30

地  点：图书馆第三报告厅

主办单位：计算机学院