中国科学院院士,IEEE FELLOW。北京大学教授,信息与工程科学学部主任、软件工程国家工程研究中心首席科学家、软件与微电子学院理事长。
计算机科学家,中国计算机软件开创者之一。南京大学教授,曾任国务院学位委员会计算机评议组成员,国务院电子振兴领导小组计算机顾问,中国计算机学会副理事长,全国计算机教材编委会主任。《中国大百科全书》计算机软件分支主编。