中国科学院数学与系统科学研究院数学研究所研究员，中国科学院院士。在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国该领域研究的开拓者之一。著有210余万字的计算机理论著作《计算系统的形式语义》。

清华大学教授。现任广西大学外国语学院院长。中国英汉语比较研究会会长，英国Asia Pacific Translation and Intercultural Studies主编。有著、译作40余部，在国内外期刊发表论文200余篇；所著《翻译与中国现代性》入选国家社科基金中华学术外译项目，获第八届全国高等院校科学研究优秀成果奖二等奖。

（1946-2020）北京大学信息科学技术学院教授。长期从事离散数学、算法分析与计算复杂性方向的教学和研究工作，国家精品课“离散数学”课程主持人。完成多项国家研究课题；撰写多部教材与译著，包括高等教育精品教材、国家级规划教材、北京市精品教材。曾获北京市教学成果奖一等奖；获评北京市优秀教师和北京大学“十佳教师”。

清华大学软件学院教授，中国工程院院士。国家企业信息化应用支撑软件工程技术研究中心主任，大数据系统软件国家工程实验室主任，中国图学学会理事长。曾任国家自然科学基金委副主任，清华信息科学与技术国家实验室（筹） 主任，清华大学信息学院院长，清华大学软件学院院长，第十二届全国人大代表、教科文卫委员会委员。长期从事计算机图形学、计算机辅助设计、软件工程与系统的教学、研究、开发，为推动我国制造业信息化、工业化与信息化深度融合、提升我国软件产业化能力做出了贡献。

著名计算机教育专家，教授，我国计算机普及和高校计算机基础教育的开拓者之一。现任全国高等院校计算机基础教育研究会荣誉会长，曾任教育部全国计算机应用技术证书考试委员会主任委员。曾获国家科技进步奖、国家级教学成果奖，获评“全国先进科普工作者”和“北京市有突出贡献的专家”。

上海交通大学人文社会科学资深教授。2010年当选拉丁美洲科学院院士，2013年当选欧洲科学院外籍院士。担任国家社会科学基金中国文学组评审专家等。学术兼职包括中国比较文学学会会长，中国中外文艺理论学会副会长，中国文艺理论学会副会长等。研究领域为现代性理论、后现代主义、全球化与文化问题、世界文学、翻译学等。

中国人民大学信息学院教授，大数据管理与分析方法研究北京市重点实验室学术委员会主任，国家级教学名师、优秀教师。获“全国五一劳动奖章”。曾任中国人民大学信息学院院长、中国计算机学会副理事长、中国计算机学会数据库专业委员会主任等。长期从事数据库方向的教学、研发工作；主持和承担国家科研项目50多项，发表论文300余篇，出版著作30多部。

（1932-2023）清华大学机械工程学院教授，中国科学院院士，清华大学摩擦学国家重点实验室名誉主任。从事机械设计与理论专业的教学和研究。曾获何梁何利基金科学与技术进步奖、中国机械工程学会摩擦学分会最高成就奖、机械工程学会科学技术奖以及World Tribology Council颁发的The 2015 TribologyGold Medal等26种奖项。出版学术著作《摩擦学原理》《界面力学》等7部。