杰出计算机专家魏道政逝世,系我国计算机辅

IT之家11月28日消息，中国科学院计算技术研究所27日发布讣告：我国杰出的计算机专家、中国科学院计算技术研究所研究员、博士生导师，原中国科学院成都计算机应用研究所所长、中国科学院计算技术研究所CAD开放研究实验室学术委员会主任，魏道政先生年11月26日20时在北京逝世，享年93岁。

魏道政先生是我国最早从事计算数学和计算机应用研究的学者，是我国计算机辅助设计、辅助测试和容错计算领域的主要开拓者之一，曾获第二届国家自然科学奖、中国计算机学会“中国计算机事业60年杰出贡献特别奖”和“终身成就奖”。

公开资料显示，魏道政，男，年7月生，浙江省诸暨县人，中国科学院计算技术研究所研究员，中国计算机辅助测试和容错计算领域的开拓者和学术带头人之一。年毕业于复旦大学数学系，在中科院数学所、计算所工作多年。曾任中国科学院成都计算机应用研究所所长及学术委员会主任、中科院计算所学位评定委员会主席。他提出的主路径敏化法是20世纪70年代电子测试技术领域具有里程碑意义的成果，在数字电路测试产生和可测性设计领域做出了系统性、创造性的贡献。他发起和领导了容错计算学术组织并担任CCF容错计算专委会首届主任委员。年获第二届国家自然科学奖，年获CCF“中国计算机事业60年杰出贡献特别奖”，年获“CCF终身成就奖”。

据中国计算机学会资料，上世纪70年代初期，魏道政利用布尔差分法在计算机上自动产生了机大量插件的测试码，使国内首次成功实现了计算机插件的自动测试。此后，他在实践基础上提出的测试产生算法——主路径敏化法，发展和统一了当时国际上著名的“D-算法”和“布尔差分法”，显著提高了计算效率，是70年代电子测试技术领域具有里程碑意义的成果，在计算机电路测试领域做出了系统性和创造性的重大贡献。鉴于魏道政研究员为中国计算机事业的发展做出的卓越贡献，CCF（中国计算机学会）奖励委员会决定将年“CCF终身成就奖”授予他，以表彰他的成就和贡献。