1. 概述

　　

　　我的科研方向为软件理论、形式化方法、人工智能、数据科学与信息安全，近年来的工作主要包括：余代数理论及其应用，协调模型及语言，面向服务与云计算，软件智能化验证与测试，模型检验，定理证明，信息物理融合系统，大数据分析，区块链智能合约建模与验证。

　　

　　2. 部分可选本研课题：

　　

　　1) 信息物理系统并发行为形式化建模

　　2) 概率并发实时系统模型检验算法

　　3) 基于模型的信息物理系统测试理论

　　4) 信息物理系统复杂交互行为的统计模型检验方法

　　5) 基于机器学习的模型检验技术

　　6) 混成连接件定理证明方法的研究与实现

　　7) 基于机器学习的定理证明策略自动生成

　　8) 概率实时系统与混成系统的余代数模型和余归纳推理方法

　　9) 云服务的动态重配置

　　10) 智能合约的形式化分析与验证

　　

　　3. 对本研的要求

　　

　　1） 课程：

　　对于大部分本研课题而言，《数理逻辑》与《理论计算机科学基础》两门课程是非常有用的。在不同题目中，可能会用到如《常微分方程》、《概率论》、《数理统计》、《集合论与图论》、《程序设计技术与方法》、《机器学习》、《软件形式化方法》等课程中的部分内容，具体课程要求需根据所选课题而定。

　　

　　2） 其他要求：

　　a) 有些课题需要一定的编程实现工作，需要对某一特定编程语言（如Python或Java）或者某种特定验证工具（如UPPAAL、PRISM、Coq、PVS等）所用语言比较熟悉，有一定的经验，或者愿意花足够的时间去学习使用。

　　b) 对所选课题相关领域感兴趣且具有较高的科研热情和主动性，做事认真负责，具有创新精神和独立工作能力且愿意与他人合作，英语读写能力强。

　　c) 对自己的时间能够有很好的规划安排，需在学有余力的情况下参与项目工作。