尹洪亮 蔡开元 吴志林 KAZMI Syed Asad Raza 王向云 易锦 王鹏 齐乃明 李永超

机器人 对偶模型 神经网络 变结构 合成推理 离散事件动态系统 反应式系统 软件设计 直觉线性μ-演算 命题线性时序逻辑 计算复杂性 自适应控制 监控理论 软件控制论

中国科学院软件研究所计算机科学重点实验室 中国科学院研究生院信息与工程学院 自动控制系 计算机科学重点实验室 北京航空航天大学 中国科学院软件研究所