个人简介

主持完成多项学校工科规划项目，参与完成多项国家级项目，累计发表SCI、EI检索论文十多篇。

研究领域

查看导师最新文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

基于模型检测手段的系统形式化验证、程序安全性自动分析理论与技术；多媒体智能信息处理技术

相关技术研发： 负责在研校级工科规划项目“PH分布与新闻热点事件的相关性研究”； 负责完成“水平式双机立体拍摄云台关键技术研究”（中国传媒大学工科规划项目）、“面向M/G/1类型过程的模型检验问题研究及工具实现”（中国传媒大学工科规划项目）、“模型检查理论与应用研究”（中国传媒大学工科规划项目） 参与完成“舞美模型及知识库研究”（国家科技支撑计划项目）、“分布式宽带业务协同制作的开发――分布式集群渲染子系统”（863重大专项合作项目）、“基于进程代数的移动计算协议工程”（广电总局高校项目）