undefined

边际

BIANJI

讲师

基本资料:

本科硕士就读于山东大学,西澳大利亚大学(The University of Western Australia)计算科学博士毕业。

主要研究方向:

线性通用时序逻辑(general linear temporal logic),线性逻辑下的模型生成算法(tableaux), 软件工程,工作流方法。 


曾担任顶级形式化逻辑会议TIME评委,并在线性逻辑化推理方面有较深的研究积累。



返回列表