边际 照片

边际

讲师
登录后收藏 登录后评价

所属大学: 山东师范大学

所属学院: 商学院

个人主页:
http://www.ibs.sdnu.edu.cn/info/1096/1700.htm

个人简介

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

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

研究领域

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