我从1987年开始参与中国计算机学会(CCF)的学术活动。我的导师带领我进入CCF的学术圈,如今我的学生也活跃于CCF大平台。CCF给我们学术三代提供了学术交流平台,我们的学术成长伴随了CCF的建设和蓬勃发展。
“ 编者语:
2022将迎来CCF创建60周年,我们会开展一系列活动庆祝60周年。在未来的这一段时间内会在CCF会员故事中陆续发布CCF60周年文集中的一些文章。这篇是CCF监事长、中国科学院计算技术研究所研究员李晓维为CCF60周年文集撰写的文章。
前言
一、加入中国计算机学会
我与中国计算机学会的缘分始于1987年春,当时我还是二年级硕士生(合肥工业大学计算机与信息学院)。怀着对科学殿堂(中国科学院)的向往和对科学家的崇敬,我联系了魏道政研究员(时任CCF容错计算学组组长、2019年CCF终身成就奖获得者)申请1988年报考他的博士生。他建议我参加第二届全国容错计算学术会议(1987年在上海召开、由中国计算机学会容错计算学组主办)。这是我参加的第一个全国性学术会议、120多位参会者讨论热烈、收获满满、铭心刻骨。
1987年10月第二次全国容错计算会议代表合影
1987年春,我就萌发了加入中国计算机学会的想法(同年也提交了入党申请书),于是提笔给中国计算机学会(北京总部)写了一封信、申请加入计算机学会,还真的收到了中国计算机学会组织委员会(李聚昌)的亲笔回信。能给一位在读硕士生回信并耐心细致地解答,足见中国计算机学会(总部)工作人员的敬业精神!让我感到由衷的钦佩!信件弥足珍贵、保存至今。
1987年5月20日的CCF回信
上世纪九十年代,容错计算专业委员会设立了专委委员的基本条件是具有副高职称。1993年8月,我在北京大学计算机系博士后出站(合作导师杨芙清院士、曾任CCF副理事长)、获聘北京大学副教授;被增补为CCF容错计算专业委员会(第三届)委员。
1993年CCF容错计算专委委员聘书
1999年10月在武汉举行的CCF容错计算专业委员会换届中,经专委主任闵应骅研究员提名、当选为(第四届)秘书长;2003年10月在北京举行的CCF容错计算专业委员会换届选举中当选为(第五届)副主任兼秘书长;2007年/2011年在北京举行的CCF容错计算专业委员会换届选举中当选为(第六/七届)主任、这两次选举均为在CCF特派员的监督下的差额选举。
二、创办中国测试学术会议(CTC)
1999年10月,刚刚担任容错计算专委秘书长,就迫不及待地要做事,首先想到的是创办中国测试学术会议(计划2000起逢双年召开、与逢单年召开的全国容错计算学术会议互补;使得容错计算专委每年都能组织召开全国性学术会议);这条建议在换届会议上得到专委会的批准。我代表CCF容错计算专业委员会,先后多次与中国电子学会集成电路测试专业委员会、中国仪器仪表学会自动测试与控制专业委员会、中国航空学会测试分会、中国空气动力学会测控专业委员会负责人接触沟通、最终达成共识:把原先分别召开的全国测试与故障诊断会议、全国集成电路测试学术年会和中国国际VXI技术大会合并起来,联合召开全国测试学术会议(China Test Conference, CTC),首届会议主题“面向新世纪的中国测试技术”(本人担任程序委员会共同主席),在北京召开,获得圆满成功!
首届中国测试会议代表合影
三、与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。
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)。
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)。
央视采访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
点击“阅读原文”,加入CCF。