计算机软件专家，中国科学院院士，发展中国家科学院院士，欧洲科学院外籍院士，高可信软件技术教育部重点实验室（北京大学）主任，中国人民解放军军事科学院副院长。【详细】
计算机软件科学家（2015年当选ACM杰出科学家，2018年当选IEEE Fellow），并于2019年当选CCF杰出会员、2020年起就任CCF软件工程专业委员会副主任、CCF-IEEE CS“青年科学家奖”评奖分委员会主席。【详细】
