联系电话:
0531-86180509
基本资料：
本科硕士就读于山东大学，西澳大利亚大学（The University of Western Australia)计算科学博士毕业。
主要研究方向：
线性通用时序逻辑（general linear temporal logic），线性逻辑下的模型生成算法（tableaux）， 软件工程，工作流方法。
曾担任顶级形式化逻辑会议TIME评委，并在线性逻辑化推理方面有较深的研究积累。
