承担课题
曾承担国家973项目“网络环境下海量信息组织与处理的理论与方法研究”01课题“海量信息系统规律、模型...[全部]
曾承担国家973项目“网络环境下海量信息组织与处理的理论与方法研究”01课题“海量信息系统规律、模型和维护机理研究”的研究工作。作为负责人承担过的研究项目还有：与中国地质调查局合作的国家863 B类重大项目“资源环境应用网格系统构建”及其滚动项目；与北京新奥集团、北京市建筑设计研究院合作的国家科技支撑计划科技奥运专项“奥运景观照明的IPv6数字化网络控制系统开发”，负责照明控制与管理软件平台和IPv6基础网络设计研究；与中国空间技术研究院合作的“航天器自动化测试总控软件研发”等项目。[收起]
论文专著
2010年出版专著“航天器自动化测试语言及其系统”。在国内外学术刊物和国际学术会议上发表研究论文一百...[全部]
2010年出版专著“航天器自动化测试语言及其系统”。在国内外学术刊物和国际学术会议上发表研究论文一百多篇；应邀参加撰写英文科研专著（章节）两本。2005年应邀出版译著“类型和程序设计语言”（国外计算机科学教材系列）。[收起]
获奖情况
获2012年度国防科学技术进步奖二等奖、2012年度北京市科学技术奖三等奖。获国家科学技术学术著作出版基...[全部]
获2012年度国防科学技术进步奖二等奖、2012年度北京市科学技术奖三等奖。获国家科学技术学术著作出版基金资助。[收起]
专利发明
1、航天器自动化测试系统，2008年10月起作为中国空间技术研究院日常测试业务支撑系统，应用于北斗导航...[全部]
1、航天器自动化测试系统，2008年10月起作为中国空间技术研究院日常测试业务支撑系统，应用于北斗导航系列3种类型12颗卫星测试；2、预警机任务系统自动化检测装置，填补了国内大型信息化武器装备系统软件检测的空白，已交付部队16套使用，已应用于两大军种（空军、海军），覆盖现役预警机全部型号（KJ200，KJ2000，H200）。2012年，推动我校与中国空间技术研究院总体部，建立 “航天器自动化测试技术联合实验室”。[收起]