中國科學院院長獎獲得者,紅旗安全操作系統總設計師;國家科學技術獎、國家863項目、國家自然科學基金項目、北京市自然科學基金項目等的評審專家;《Journal of Computer Science and Technology》、《計算機學報》、《軟件學報》、《電子學報》等的審稿專家;省級先進工作者,省級有突出貢獻優秀專家,省級十百千人才工程人選。1997年晉升為教授(研究員)。1988年涉足操作系統研究,承擔國家科技攻關項目“UNIX操作系統的移植和國產化改造”,在我國首次實現UNIX操作系統成功移植,成果獲國家科技攻關重大成果獎。1999年組建安全操作系統研究團隊,率先開展國際CC標準框架下安全操作系統開發研究,在國家863項目支持下,結合國際和國家標準特點,成功研制出紅旗安全操作系統產品,通過國家標準GB17859第三級認定,獲得安全產品銷售許可證,并在產業應用中產生重大影響。隨后,主持國家863信息安全專題重點課題,解決了GB17859第四級安全操作系統和安全數據庫管理系統研制的一系列關鍵技術問題,為高安全、高可信系統軟件的研制打下堅實基礎。已完成的代表性科研項目有:國家863項目“操作系統與數據庫平臺安全核心技術研究”、“基于IT安全國際標準的Linux安全核心的研制”;國家自然基金項目“操作系統安全基礎的可適應性模型研究”、“安全操作系統的體系結構與實現模式研究”;中科院知識創新工程項目“基于Linux的安全操作系統的研制”;北京市重點技術創新項目“基于紅旗Linux的安全操作系統”;等。獲相關科技獎多項。