魏道政

魏道政(1929-2022)
魏道政，浙江省诸暨市枫桥镇魏家坞村人。现为中国科学院计算技术研究所研究员、博士生导师、所科技指导委员会副主任，同时任中国计算机学会容错计算专业委员会名誉主任、计算机辅助设计与图形学专业委员会副主任、全国博士后管委会专家组成员，《计算机学报》、《软件学报》、《计算机辅助设计与图形学学报》等五种学术刊物编委或常务编委。2022年11月26日20时，魏道政在北京逝世，享年93岁。
魏道政在1948年前曾就读于忠义中学，1950-1952年就读于浙江大学理学院数学系，1952年院系调整到复旦大学数学系，于1953年从复旦大学数学系毕业，后由国家统一分配至中国科学院数学研究所工作，师从华罗庚教授学习数论。1957年转入中国科学院计算技术研究所工作，从事计算数学、计算机应用等方面的研究至今。其间，历任研究实习员、助理研究员、副研究员及研究员，国家“七五”、“八五”集成电路计算机辅助测试专家委员会委员；并兼任中国科学院成都计算机应用研究所所长，北京市人民政府专业顾问，中国科学院CAD实验室学术委员会主任，全国博士后管委会学科专家组及中国博士后科学基金会专家组成员，中国科学院计算技术研究所学位评定委员会主席，国家自然科学基金委员会学科评审组成员。与此同时，还在中国科技大学、北京理工大学、北京计算机学院、山东大学、华中理工大学等校兼任教授。
魏道政在容错计算、计算机辅助测试、可测性设计等领域中作出了系统的、创造性的重大贡献，是我国这一领域的开创者和学术带头人之一。他的研究成果有：013机插件测计系统，获1978年中国科学院重大科技成果奖；测试生产的主路径敏化法，获1982年国家自然科学四等奖；757机插件测试码生成系统，获1986年中国科学院科技进步二等奖；测试方法研究及应用，获1992年中国科学院自然科学二等奖。2017年，获得中国计算机学会“中国计算机事业60年杰出贡献特别奖”。2020年，获得中国计算机学会2019年度CCF终身成就奖。
魏道政在容错计算、计算机辅助测试、可测性设计等领域造诣颇深，在国内外重大学术会议及学术刊物上发表论文80余篇；并为国家培养硕士研究生27人，博士研究生40人。