计算机学院副教授、博/硕士生导师。2002年获中国科学院软件研究所计算机软件与理论方向博士学位。长期研究智能系统及可信软件方向,在IEEE TDSC、TIFS、TCC、TRel、EMSE、Computers&Security、ICSE、ICPC、SANER等国内外权威期刊和会议上已发表学术论文70余篇,其中中科院分区1区和2区11篇,CCF A类和B类10篇。获得北京市科技进步奖1项。参与制定国家标准3项。
指导大学生和研究生创新创业项目16项,其中获评国家级2项。获评“中国科学院软件研究所研究生优秀指导教师”、“北京邮电大学大学生创新创业优秀指导教师”。指导博士和硕士研究生50余人,2人获得研究生国家奖学金。
主持和参与了国家各类科研项目30余项,包括国家重点研发项目1项、国家863课题1项、国家自然科学基金3项、国家载人航天工程项目1项、国防课题10余项。研究成果获得国家部委机构和航空航天单位、思科、小米等公司的应用合作。
智能系统类成果已经应用于国家信创事业基础软件产品中,并得到了Linux、Libvirt、FreeBSD、OpenSSL、RIOT、FreeRTOS等主流开源社区的认可和肯定。
可信软件类成果已经应用于国家长征7号火箭软件控制系统、天宫空间站软件系统等重大型号任务中,得到了中国航天科技集团航天软件研发中心、航天装备软件评测中心的高度评价。
TSIS实验室研究和开发可信软件与智能系统。我们认为:在信息时代,软件定义一切。软件和系统应该是用户的朋友,智能而且可信。我们研究使它们正确、安全、可靠、智能的理论方法和技术。