个人简历

教育背景
1992-02--1995-07 英国爱丁堡大学 博士
1980-09--1987-07 北京航空航天大学 学士、硕士
工作经历
2002.9－至今 中国科学院软件研究所，2002年****特聘研究员，博士生导师，二级研究员
1998.10-2002.09 英国格拉斯哥大学(Glasgow University)，研究员
1995.07-1998.10 英国赫瑞瓦特大学(Heriot-Watt University)，博士后，助研
1987.02-1992.01 天津大学精密仪器系 助教，讲师
1992.02-1995.07 英国爱丁堡大学(Edinburgh University)，博士

工作简历
2002-09~现在, 中国科学院软件研究所, ****特聘研究员，博士生导师
1987-02~1992-01,天津大学精密仪器系, 助教，讲师
专利成果
(1) 1949240 用于计算机的电子数据取证方法和系统 王永吉；周博文；丁丽萍；王青；李明树
(2) 101093445 基于软件过程时序数据自动挖掘的多步预测方法和系统 王永吉；阮利；王青；李明树
(3) 101110034 自动挖掘软件过程任务仓库中的高性能任务的方法和系统 王青；阮利；王永吉；李明树
(4) 201010569881.0. 一种隐蔽信道标识方法 吴敬征, 丁丽萍, 王永吉, 周启明, 刘剑
(5) CN102244628A 一种云计算环境下的隐蔽通信方法；吴敬征；王永吉；丁丽萍
奖励信息
（1） 中国科学院软件研究所优秀导师，院级，2012
（2） 国家科学技术进步奖，二等奖，国家级，2005
（3）指导学生三人次获得中国科学院院长奖学金

科研活动
1. 正在承担科研项目情况
(1) 中国科学院、国家外国专家局中心合作项目
项目名称：安全攸关软件理论和构造方法
经费来源：中国科学院
完成情况：正在进行
(2) 国家自然科学基金项目(61170072)
项目名称：云计算环境下的隐蔽信道机理研究
经费来源：国家自然科学基金，面上项目
完成情况：正在进行(2012.1-2015.12)
(3) 国家青年科学基金
项目名称：智能移动终端隐蔽信道机理研究
经费来源：国家青年科学基金
完成情况：正在进行

2. 已完成的项目情况
(1) 项目名称：支持CMMI高程度级别的综合量化评估体系及模型
项目来源：国家高技术研究发展计划(863计划)
(2) 项目名称：基于过程的软件估算与管理技术
项目来源：国家高技术研究发展计划(863计划)
(3) 项目名称：高可信网络系统度量、评估、优化关键技术及软件实现研究
项目来源：国家自然科学基金项目
(4) 项目名称：实时系统任务可调度性分析的优化方法研究及实现
项目来源：国家自然科学基金项目
(5) 项目名称：连续优化理论算法在离散实时系统调度算法中的应用
项目来源：教育部留学回国人员科研启动项目
(6) 项目名称：反馈控制实时系统调度理论及其在智能机器人中的应用
项目来源：中科院与英国皇家学会国际合作项目
(7) 项目名称：异构混合控制及在汽车工业中的应用 (H2C)
项目来源：欧共体重大基础和应用科研项目
(8) 项目名称：深水采样系统的研制与先进操纵方法研究 (AMADEUS)
项目来源：欧共体重大基础和应用科研项目
(9) 项目名称：水下智能系统实时操纵与导航 (UNION)
项目来源：欧共体重大基础和应用科研项目
(10) 项目名称：实时系统理论及应用
项目来源：中科院****项目
(11) 项目名称： 基于不等式约束的知识表示推理方法及应用研究
项目来源：国家重点实验室自主研究课题
(12) 项目名称： 网络算法与数字信息
项目来源：中国科学院软件研究所中长期发展规划专项计划
(13) 项目名称： 面向非常规突发事件主动感知与应急指挥的物联网技术与系统
项目来源：国家自然科学基金，重大研究计划
(14) 项目名称：情报信息检索系统研究
项目来源：总装备部
(15) 项目名称：面向访问验证保护级的安全操作系统原型系统研发
项目来源：中科院知识创新工程项目(No.KGCX2-YW-125)
(16) 项目名称：方德高可信服务器操作系统关键技术研究
项目来源：“核高基”基础软件重大专项(2010ZX01036-001-002-2)

参与会议
Network and Distributed System Security
ACM SIGSAC Conference on Computer and Communications Security
IEEE International Conference on Software Security and Reliability Companion
IEEE Annual Computer Software and Applications Conference
IEEE International Conference on Cloud Computing
International Conference on Parallel and Distributed Computing
IEEE International Conference on Automation Science and Engineering
International Conference on Information and Multimedia Technology
International Conference on Software Engineering & Knowledge Engineering
International Conference on Artificial Intelligence and Computational Intelligence
ACM conference on Recommender systems
International Conference on Communications and Electronics
International Conference on Innovations in Information Technology
IEEE/WIC/ACM International Conference on Web Intelligence
International Conference on Artificial Intelligence (IC-AI)

招生专业
083500-软件工程
招生方向
大数据，人工智能，云计算，物联网，虚拟化技术，隐蔽信道，数据挖掘，智能软件工程
嵌入式系统，网络技术，实时系统

研究领域

"人工智能、大数据分析、智能制造、医疗影像分析处理、中医药大数据、云计算、知识工程、数据挖掘、软件工程、虚拟化技术、隐蔽信道、实时系统、传感器网络、图像处理"

近期论文

[1] Yuqi Lin, Saif Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, Samee U. Khan, \