孙猛
1. 概述
我的科研方向为软件理论、形式化方法、人工智能、数据科学与信息安全，近年来的工作主要包括：余代数理论及其应用，协调模型及语言，面向服务与云计算，软件智能化验证与测试，模型检验，定理证明，信息物理融合系统，大数据分析，区块链智能合约建模与验证。
2. 部分可选本研课题：
1) 信息物理系统并发行为形式化建模
2) 概率并发实时系统模型检验算法
3) 基于模型的信息物理系统测试理论
4) 信息物理系统复杂交互行为的统计模型检验方法
5) 基于机器学习的模型检验技术
6) 混成连接件定理证明方法的研究与实现
7) 基于机器学习的定理证明策略自动生成
8) 概率实时系统与混成系统的余代数模型和余归纳推理方法
9) 云服务的动态重配置
10) 智能合约的形式化分析与验证
3. 对本研的要求
1） 课程：
对于大部分本研课题而言，《数理逻辑》与《理论计算机科学基础》两门课程是非常有用的。在不同题目中，可能会用到如《常微分方程》、《概率论》、《数理统计》、《集合论与图论》、《程序设计技术与方法》、《机器学习》、《软件形式化方法》等课程中的部分内容，具体课程要求需根据所选课题而定。
2） 其他要求：
a) 有些课题需要一定的编程实现工作，需要对某一特定编程语言（如Python或Java）或者某种特定验证工具（如UPPAAL、PRISM、Coq、PVS等）所用语言比较熟悉，有一定的经验，或者愿意花足够的时间去学习使用。
b) 对所选课题相关领域感兴趣且具有较高的科研热情和主动性，做事认真负责，具有创新精神和独立工作能力且愿意与他人合作，英语读写能力强。
c) 对自己的时间能够有很好的规划安排，需在学有余力的情况下参与项目工作。