个人简介
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
智能基础理论与系统
智能基础理论与模型
智能编程语言与编译技术
教育背景
1996-09--2000-07 中国科学院软件研究所 博士
1990-09--1992-07 中国科学院软件研究所 硕士
1989-09--1990-07 中国地质大学研究生院 无
1985-09--1989-07 武汉大学计算机系 学士
工作简历
2015-07~现在, 中国科学院软件研究所, 所长
2008-07~2015-07,中国科学院软件研究所, 副所长
2004-07~2015-07,中国科学院软件研究所, 总工程师
2001-07~2004-07,中国科学院软件研究所, 科技处处长
1996-09~2000-07,中国科学院软件研究所, 博士
1992-08~现在, 中国科学院软件研究所, 历任助理研究员、副研究员、研究员
1990-09~1992-07,中国科学院软件研究所, 硕士
1989-09~1990-07,中国地质大学研究生院, 无
1985-09~1989-07,武汉大学计算机系, 学士
奖励信息
（1） 软件过程服务技术与集成管理系统, 二等奖, 国家级, 2005
专利成果
（ 1 ） 基于C++映射的TTCN-3测试系统及测试方法, 2008, 第 1 作者, 专利号: ZL200510053524.8
（ 2 ） 基于时间安全输入输出自动机的测试方法及系统, 2008, 第 1 作者, 专利号: ZL200510086936.1
（ 3 ） 一种数据驱动可扩展的智能通用任务调度系统, 2018, 第 3 作者, 专利号: 201810544751.8
（ 4 ） 一种交织器映射和动态内存管理系统及方法, 2018, 第 3 作者, 专利号: 201810628634.X
科研项目
（ 1 ） 云操作系统及关键组件研制, 主持, 国家级, 2010-07--2013-07
（ 2 ） 智能处理器支撑软件及驱动程序, 参与, 国家级, 2016-11--2018-06
（ 3 ） 基础软件领域科技发展, 主持, 部委级, 2018-10--2018-10
（ 4 ） 院JS信息技术领域, 主持, 部委级, 2018-04--2018-12
（ 5 ） 高安全可信移动终端, 参与, 国家级, 2017-01--2020-06
（ 6 ） 智能处理器操作系统支持及驱动二期, 参与, 国家级, 2018-07--2020-06
（ 7 ） 面向XXX的基础理论, 主持, 国家级, 2019-02--2020-12
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） Learning Semantic Neural Tree for Human Parsing, The 16th European Conference on Computer Vision, 2020, 第 6 作者
（2） Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization, IEEE Conference on Computer Vision and Pattern Recognition, 2020, 第 6 作者
（3） 可微分抽象机混合编程系统, 软件学报, 2019, 第 3 作者
（4） MixHeter: A Global Scheduler for Mixed Workloads in Heterogeneous Environments, Journal of Parallel and Distributed Computing, 2018, 第 4 作者
（5） MemSC: A scan-resistant and compact cache replacement framework for memory-based key-value cache systems, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017, 第 4 作者
（6） 增强覆盖度与非相似性的标签选择多样化方法, 软件学报, 2015, 第 4 作者
（7） A synergistic analysis method for explaining failed regression tests, IEEE/ACM International Conference on Software Engineering , 2015, 第 4 作者
（8） Explaining software failures by cascade fault localization, ACM Transactions on Design Automation of Electronic Systems(TODEAS), , 2015, 第 4 作者
（9） Post conditioned symbolic execution, IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015, 通讯作者
（10） 基于事件处理函数的GUI测试用例集约简技术, 软件学报, 2014, 第 4 作者
（11） 虚拟机确定性执行重放的模型分析和实现方法, 软件学报, 2012, 第 4 作者
（12） Deterministic Replay of Multithread Applications Using Virtual Machine, Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012, 第 4 作者
（13） Supporting Flexible Reification of Design Patterns, APSEC2010, 2010, 第 4 作者
（14） An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique, Proceedings of the 17th Asia Pacific Software Engineering Conference (APSEC’10), , 2010, 第 3 作者
（15） An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique, APSEC2010, 2010, 第 3 作者
（16） Automated test program generation for an industrial optimizing compiler, AST2009, 2009, 第 1 作者
（17） 一种基于过程图模型的编译优化测试程序自动生成方法, An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph, 计算机研究与发展, 2009, 第 2 作者
（18） 基于时序逻辑证明编译优化程序变换的保义性, Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic, 软件学报, 2009, 第 2 作者
（19） 一种用于软件过程建模的适应性Agent协商, Adaptive Agent Negotiation for Software Process Modeling, 软件学报, 2009, 第 4 作者
（20） Automated Phase-Ordering of Loop Optimizations Based on Polyhedron Model, HPCC2008, 2008, 第 2 作者
（21） 一个支持可信主体特权最小化的多级安全模型, A Multi-Level Security Model with Least Privilege Support for Trusted Subject, 软件学报, 2007, 第 3 作者
（22） 一种基于时间自动机的实时系统测试方法, A Method for Testing Real-Time System Based on Timed Automata, 软件学报, 2007, 第 3 作者
（23） Software Testing Process Automation Based on UTP - A Case Study, ISPW2005, 2005, 第 4 作者
（24） 一种基于Messy GA的结构测试数据自动生成方法, An Automated Approach for Structural Test Data Generation Based on Messy GA, 软件学报, 2005, 第 4 作者
（25） 多媒体节目时序描述的组合技术, Temporal Specification Composition Techniques for Multimedia Program Design, 软件学报, 2001, 第 1 作者
（26） 基于XYZ/RE的多媒体同步器自动构造方法, A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE, 软件学报, 2000, 第 1 作者
（27） 动画剧本描述语言SDL/A的设计与实现, The Design and Implementation of Animation Script Description Language SDL/A, 软件学报, 1996, 第 4 作者
（28） 一种面向软件工程的时序逻辑语言, A Temporal Logic Language Oriented Toward Software Engineering, 软件学报, 1993, 第 2 作者
京公网安备 11010802027423号