个人简介

王永吉男博导软件研究所 教育背景 1992-02--1995-07英国爱丁堡大学博士 1980-09--1987-07北京航空航天大学学士、硕士 工作经历 2002.09至今中国科学院软件研究所百人计划特聘研究员，博士生导师 1998.10-2002.09英国格拉斯哥大学(GlasgowUniversity)，研究员 1995.07-1998.10英国赫瑞瓦特大学(Heriot-WattUniversity)，博士后，助研 1987.02-1992.01天津大学精密仪器系助教，讲师 1992.02-1995.07英国爱丁堡大学(EdinburghUniversity)，博士 专利与奖励 专利成果 (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) 参与会议 NetworkandDistributedSystemSecurity ACMSIGSACConferenceonComputerandCommunicationsSecurity IEEEInternationalConferenceonSoftwareSecurityandReliabilityCompanion IEEEAnnualComputerSoftwareandApplicationsConference IEEEInternationalConferenceonCloudComputing InternationalConferenceonParallelandDistributedComputing IEEEInternationalConferenceonAutomationScienceandEngineering InternationalConferenceonInformationandMultimediaTechnology InternationalConferenceonSoftwareEngineering&KnowledgeEngineering InternationalConferenceonArtificialIntelligenceandComputationalIntelligence ACMconferenceonRecommendersystems InternationalConferenceonCommunicationsandElectronics InternationalConferenceonInnovationsinInformationTechnology IEEE/WIC/ACMInternationalConferenceonWebIntelligence InternationalConferenceonArtificialIntelligence(IC-AI) 招生信息 招生专业 081202-计算机软件与理论 招生方向 云计算，物联网，虚拟化技术，隐蔽信道，数据挖掘，智能软件工程 图像处理，网络技术，传感器网络，实时系统，人工智能 合作情况 项目协作单位 英国爱丁堡大学（UniversityofEdinburgh） 英国格拉斯哥大学（UniversityofGlasgow） 美国北达科他州立大学（NorthDakotaStateUniversity） 巴基斯坦COMSATSInstituteofInformationTechnology 清华大学 北京航空航天大学 北京科技大学 北京农业大学 北京化工大学 河北师范大学 天津工业大学 指导学生 已指导学生 周辉博士研究生081202-计算机软件与理论 曾海涛博士研究生081202-计算机软件与理论 王秀利博士研究生081202-计算机软件与理论 邢建生博士研究生081202-计算机软件与理论 刘军祥博士研究生081202-计算机软件与理论 阮利博士研究生081202-计算机软件与理论 丁丽萍博士研究生081202-计算机软件与理论 童杰硕士研究生081202-计算机软件与理论 余方硕士研究生081202-计算机软件与理论 孙亮硕士研究生081202-计算机软件与理论 陈秋萍硕士研究生081202-计算机软件与理论 张瞫博士研究生081202-计算机软件与理论 肖贺硕士研究生081203-计算机应用技术 吴湖博士研究生081202-计算机软件与理论 辛博坤硕士研究生081202-计算机软件与理论 张凡硕士研究生081202-计算机软件与理论 王哲硕士研究生081202-计算机软件与理论 贾浩硕士研究生081202-计算机软件与理论 苏峰硕士研究生081202-计算机软件与理论 李效云硕士研究生081202-计算机软件与理论 万鹏硕士研究生081202-计算机软件与理论 解浪硕士研究生081202-计算机软件与理论 廖晓锋博士研究生081202-计算机软件与理论 吴敬征博士研究生081202-计算机软件与理论 文涛硕士研究生081202-计算机软件与理论 贺喜硕士研究生081202-计算机软件与理论 李可硕士研究生081202-计算机软件与理论 关贝博士研究生081202-计算机软件与理论 韩旭硕士研究生081202-计算机软件与理论 王晓龙硕士研究生081202-计算机软件与理论 徐可欣硕士研究生081202-计算机软件与理论 魏兰硕士研究生081202-计算机软件与理论 现指导学生 林渝淇博士研究生081202-计算机软件与理论 余海硕士研究生083500-软件工程 王翀硕士研究生081202-计算机软件与理论 陈力博士研究生081202-计算机软件与理论 王培霞博士研究生081202-计算机软件与理论 张艺品硕士研究生083500-软件工程 游逸硕士研究生081202-计算机软件与理论 吕荫润博士研究生081202-计算机软件与理论