青年博士论坛预告2017年12月6日(周三)10:00-11:00

时间：12月6日(周三)10:00-11:00

地点：仙林校区计算机学科楼327会议室

报告人:潘海玉

题目：Model checking fuzzy and multi-valued computation tree logic

摘要:Model-checking has been established as one of the most effective formal verification techniques for analyzing the correctness of software and hardware designs. The model-checking approach has been extended to handle fuzzy and multi-valued systems during the last several decades.  In this report, we first present fuzzy computation tree logic, a fuzzy extension of temporal logic, by combining general fuzzy logic with computation tree logic, and discuss its model checking problem. We then introduce computation tree logic with membership values in a finite lattice called multi-valued computation tree logic. We provide model checking algorithms for the path semantics, fixpoint semantics, and algebraic semantics of the multi-valued computation tree logic.

报告人简介:

2012年博士毕业于华东师范大学，陕西师范大学在站博士后，泰州学院计算机科学与技术学院副教授，江苏省高校“青蓝工程”中青年学术带头人培养对象，中国人工智能学会离散智能计算专委会委员，中国计算机学会理论计算机专委会委员，研究方向为形式化方法。负责主持国家自然科学基金面上项目、中国博士后基金、广西可信软件重点实验室开放基金。以第一作者身份在IEEE Transactions on Fuzzy Systems，Fuzzy Sets and Systems，International Journal of Approximate Reasoning，Theoretical Computer Science，Fundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇，其中中国计算机学会推荐国际学术刊物上发表文章7篇，SCI收录7篇，EI收录13篇。