李晓维：我与中国计算机学会35年的缘分 | CCF创建60周年文集-8

前言：1985年3月中国科协转发国家体改委批准成立中国计算机学会（全国一级学会、前身是1962年6月成立的中国电子学会计算机专业委员会），我从1987年开始参与中国计算机学会（CCF）的学术活动。我的导师带领我进入CCF的学术圈，如今我的学生也活跃于CCF大平台。CCF给我们学术三代提供了学术交流平台，我们的学术成长伴随了CCF的建设和蓬勃发展。在喜迎中国计算机学会60华诞的日子里，整理了自己保存的资料原件，梳理了过去35年我亲身经历的与CCF有关的若干往事，回忆是甘甜的。

一、加入中国计算机学会

我与中国计算机学会的缘分始于1987年春，当时我还是二年级硕士生（合肥工业大学计算机与信息学院）。怀着对科学殿堂（中国科学院）的向往和对科学家的崇敬，我联系了魏道政研究员（时任CCF容错计算学组组长、2019年CCF终身成就奖获得者）申请1988年报考他的博士生。他建议我参加第二届全国容错计算学术会议（1987年在上海召开、由中国计算机学会容错计算学组主办）。这是我参加的第一个全国性学术会议、120多位参会者讨论热烈、收获满满、铭心刻骨。

（图1 1987年10月第二次全国容错计算会议代表合影）

1987年春，我就萌发了加入中国计算机学会的想法（同年也提交了入党申请书），于是提笔给中国计算机学会（北京总部）写了一封信、申请加入计算机学会，还真的收到了中国计算机学会组织委员会（李聚昌）的亲笔回信。能给一位在读硕士生回信并耐心细致地解答，足见中国计算机学会（总部）工作人员的敬业精神！让我感到由衷的钦佩！信件弥足珍贵、保存至今。

（图2 1987年5月20日的CCF回信）

上世纪九十年代，容错计算专业委员会设立了专委委员的基本条件是具有副高职称。1993年8月，我在北京大学计算机系博士后出站（合作导师杨芙清院士、曾任CCF副理事长）、获聘北京大学副教授；被增补为CCF容错计算专业委员会（第三届）委员。

（图3 1993年CCF容错计算专委委员聘书）。

1999年10月在武汉举行的CCF容错计算专业委员会换届中，经专委主任闵应骅研究员提名、当选为（第四届）秘书长；2003年10月在北京举行的CCF容错计算专业委员会换届选举中当选为（第五届）副主任兼秘书长；2007年/2011年在北京举行的CCF容错计算专业委员会换届选举中当选为（第六/七届）主任、这两次选举均为在CCF特派员的监督下的差额选举。

二、创办中国测试学术会议（CTC）

1999年10月，刚刚担任容错计算专委秘书长，就迫不及待地要做事，首先想到的是创办中国测试学术会议（计划2000起逢双年召开、与逢单年召开的全国容错计算学术会议互补；使得容错计算专委每年都能组织召开全国性学术会议）；这条建议在换届会议上得到专委会的批准。我代表CCF容错计算专业委员会，先后多次与中国电子学会集成电路测试专业委员会、中国仪器仪表学会自动测试与控制专业委员会、中国航空学会测试分会、中国空气动力学会测控专业委员会负责人接触沟通、最终达成共识：把原先分别召开的全国测试与故障诊断会议、全国集成电路测试学术年会和中国国际VXI技术大会合并起来，联合召开全国测试学术会议（China Test Conference, CTC），首届会议主题“面向新世纪的中国测试技术”（本人担任程序委员会共同主席），在北京召开，获得圆满成功！

（图4 首届中国测试会议代表合影）

三、与IEEE国际测试学术会议（ITC）衔接

IEEE 国际测试学术会议（International Test Conference, ITC）创办于1970年，是IEEE计算机学会测试技术委员会（Test Technology Technical Council, TTTC）的旗舰会议。

发展CCF容错计算专委与IEEE计算机学会下属的专业委员会的联系，是中国计算机学会一直鼓励各专委外联的事。把CCF CTC与IEEE ITC关联起来，是我自1999年担任容错计算专委秘书长、创办CTC以来的重要目标。

2018年第十届中国测试学术会议成功召开、IEEE TTTC主席莅临大会，并在IEEE Design & Test of Computers杂志上撰文介绍CTC。

（图 5 IEEE D&T杂志报道CTC）

2019年，IEEE ITC50周年，在美国华盛顿举办Global Forum，本人通过竞选担任IEEE CS TTTC 副主席（2019-2023）、是TTTC历史上第一位担任该机构副主席的亚洲学者。

四、同期担任两个专业委员会秘书长

听前辈说：1978年10月， CAD学术会议在桂林召开，会上酝酿了计算机学会恢复活动事宜；这被认为是文革后中国计算机学会恢复学术活动的开端。

本人1988年9月在中科院计算所CAD开放实验室读博起，进入CCF的两个专委（容错计算、CAD与图形学）的学术圈里，参加这两个专委承办的国内和国际学术会议，21世纪初，曾同期担任容错计算、CAD与图形学两个专业委员会秘书长；与国内容错计算和CAD领域同行结下了深厚的友谊。

中国计算机学会计算机辅助设计（CAD）与图形学专业委员会于2001年3月在北京召开换届会议、选举产生第四届专业委员会，经主任林宗楷研究员提名、本人担任秘书长。2004年3月CAD与图形学专业委员会选举产生第五届专业委员会，本人担任副主任兼秘书长。CAD与图形学专业委员会主要承办两个学术会议：逢双年召开全国CAD与图形学学术会议、逢单年召开国际CAD/CG学术会议（CAD/Graphics）。CAD与图形学专业委员会还承办《计算机辅助设计与图形学学报》，本人同期担任《CAD与图形学学报》副主编。

进入21世纪后，八九十年代曾活跃于CCF容错计算、CAD与图形学领域的学科奠基人和早期开拓者，都陆续退居二线。为了表彰他们中为本领域方向的科技进步做出突出贡献的杰出代表（很难有机会获得CCF终身成就奖），在担任容错计算专委主任期间，我提议设立“容错计算”领域终身成就奖，经与CCF总部多次沟通后最终获得CCF认同。

2015年9月容错计算专业委员会遴选出4位做出突出贡献的老先生（魏道政、闵应骅、杨孝宗、徐拾义），授予CCF容错计算终身成就奖（得到浪潮集团赞助）。时任CCF秘书长杜子德先生专程来到上海参加颁奖仪式（图7）。

（图6 2015年9月颁发首届CCF容错计算终身成就奖）

五、担任集成电路设计专业组副主任

进入21世纪，图形学得到蓬勃发展，电子CAD在CAD与图形学专业委员会学术交流中的比重呈下降趋势；近年来EDA（Electronic Design Automation）对我国集成电路发展的重要性与日俱增。

2019年，中国计算机学会经孙凝晖研究员（时任CCF副理事长）提议、决定成立集成电路设计专业组。我报名参选，通过公平竞争、差额选举当选为首届专业组副主任。

集成电路设计专业组主要承办集成电路设计与自动化学术会议（简称CCF DAC，与ACM/IEEE DAC对应）。在集成电路设计专业组主任刘明院士的带领下，集成电路设计专业组精诚团结、通力协作，2020年8月首届CCF DAC在北京成功举办（本人担任程序委员会共同主席），2021年10月第二届CCF DAC在武汉成功举办（本人担任大会主席）。ACM/IEEE DAC的主办单位ACM SIG DA正式成为CCF DAC的协办单位（Technical Sponsorship）。

（图7 央视采访CCF DAC 2021）

2022年初，经CCF评估，集成电路设计专业组为“优秀”，转为专业委员会。

六、担任中国计算机学会的理事/常务理事/监事长

2004年在CCF理事会改选中当选为第八届理事会理事、2008年/2012年/2016年连续担任CCF第九/十/十一届理事会理事（其中第十届任常务理事）。2009年4月，经李国杰院士提名，我担任Journal of Computer Science and Technology (JCST) 副主编（至今）。

经孙凝晖院士提名，2019年10月在第十二次CCF会员代表大会上，通过公平竞争、差额选举当选CCF第十二届理事会监事长；并担任CCF党委委员兼纪委委员。

  任职CCF监事长以来，本人秉承测试技术的严谨和容错技术的包容，寓监督管理与服务之中。借鉴前任监事长（钱德沛、杨士强等）积累的工作经验，严格按照《CCF章程》、《CCF监事会条例》、《CCF理事会条例》等规章制度办理，与监事会同事一道勤勉敬业，为CCF的健康发展保驾护航。

后记：中国计算机学会是计算机领域科技工作者之家，30年前我的博士导师（魏道政、曾任容错计算专委主任）引导我进入CCF的学术圈，从参加学术会议到组织学术会议，我从学生成长为学者，任职从专委委员到秘书长和专委主任；20年前我开始培养博士生，同样引导他们进入CCF的学术圈，每年都参加容错计算专委的学术活动（也推荐他们参加YOCSEF和CNCC），如今我的博士生（韩银和、CCF优博）已接任容错计算专委主任（曾任YOCSEF主席）。30多年来，三代学者一起见证了学会、学术与人才的共同成长历程。衷心祝愿CCF越办越好！

李晓维：CCF监事长、会士。中国科学院计算技术研究所研究员。主要研究方向为计算机系统结构、设计自动化、容错计算、硬件安全。lxw@ict.ac.cn