中国人民大学教授博士，博士生导师，中国人民大学教授，兼中国科学院研究生院教授。主要研究方向为信息安全、可信计算、系统软件与虚拟机技术。中国计算机学会高级会员，中国计算机学会信息保密专委会委员、开放系统专委会委员、系统软件专委会委员，IEEE会员。
调入中国人民大学之前，在中国科学院从事科研工作，任中国科学院软件所研究员、中国科学院研究生院教授、中国科学院软件所开放系统与中文信息处理中心主任。曾任中国科学院软件所学术委员会委员、软件高技术分学术委员会主任。
于北京大学获计算机软件理学学士学位，于中国科学院获计算机软件工学硕士学位、计算机软件与理论工学博士学位，获中国科学院院长奖。1997年起担任教授（研究员）岗位。
1988年开始涉足操作系统的研究与开发工作，承担了国家“七五”科技攻关项目“UNIX操作系统的移植和国产化改造”。1991年项目完成并通过鉴定，标志着UNIX操作系统的移植在我国首次取得了成功，为UNIX操作系统的国产化作出了重要贡献，成果获国家科技攻关重大成果奖。
1999年开始组建安全操作系统研究团队，围绕安全操作系统的研究与开发，先后组织承担了一系列国家863、国家自然科学基金、中科院知识创新工程、北京市重点技术创新等重要科研项目，建成国内相应领域一支重要的研究力量，成绩显著。
率先开展信息安全国际标准（CC标准）框架下安全操作系统开发方法的研究，在国家863项目“基于IT安全国际标准的Linux安全核心的研制”的支持下，结合信息安全国家标准（GB17859）的特点，领导中国科学院软件所与中科红旗软件技术有限公司的联合研发团队，成功研制出红旗安全操作系统产品，该产品于2001年经国家权威部门检验，通过了国家标准GB17859第三级的认定，获得了安全产品销售许可证，并在实际的产业应用中产生重大的积极影响。
在2002年举行的“基于国际/国家标准的安全操作系统”成果鉴定中，相应成果赢得众多知名专家的高度评价，以张效祥院士、汪成为院士、倪光南院士、何新贵院士、沈昌祥院士及其他权威专家组成的鉴定委员会在鉴定结论中指出：该成果“首次以Linux为基础，自主地实现了在CC标准框架下的安全操作系统，意义重大，整体上与国际先进水平同步”。
继成功研制通过国家标准GB17859第三级认定的安全操作系统产品并将其投入实际应用之后，作为课题首席科学家，主持承担了国家863计划信息安全技术主题重点课题“操作系统与数据库平台安全核心技术研究”，并于2004年完成了课题的研究任务，解决了国家标准GB17859第四级安全操作系统和安全数据库管理系统的研制必须面对的一系列关键技术问题，开发出了相应的原型系统，为高安全、高可信系统软件的研制建立了坚实的基础。
在系统软件与信息安全领域取得的创新成果在业界产生了重要影响。从理论上证明了经典BLP安全模型的动态适应性能力，证明了多级安全策略模型的历史敏感性特征，纠正了国际同行在多级安全性策略特性研究方面的错误结论。基于主观逻辑理论，提出了信息安全国际CC标准的定量评价模型，对推动CC标准的应用以及信任体系量化模型的研究具有重要的基础作用。
