中国科学院软件研究所近日发布讣告,中国科学院院士、研究员董韫美先生于2026年1月28日0时38分在北京因病医治无效逝世,享年90岁。
公开资料显示,董韫美1936年3月生于云南昆明,1956年毕业于东北人民大学(今吉林大学)数学系后留校任助教,同年进入中国科学院新成立的计算技术研究所工作;1985年中国科学院软件研究所成立后转入软件所,1993年当选中国科学院学部委员(院士)。
问题:软件能力是现代化建设的“基础设施”,早期我国计算机产业起步晚、硬件平台多样、系统软件薄弱,迫切需要面向工程应用的高级语言、编译系统与配套工具支撑重大科研任务,同时也需要在软件方法与理论上建立自主体系,以提升开发效率、质量与可持续演进能力。
原因:从技术发展规律看,软件从“能用”到“好用”,关键在于工具链与理论方法的同步推进。
我国早期计算机多为专用或国产机型,软硬件生态不完备,编译器、操作系统等基础软件往往需要在资源受限条件下自主研制;进入信息化快速发展阶段后,软件规模与复杂度激增,传统“从头开发”的模式难以满足质量与效率要求,软件复用、形式化理论与可验证算法等研究由此成为提升产业能力的重要方向。
在这一背景下,一批科研工作者以问题牵引、面向应用与前沿交叉并进,持续夯实基础软件和软件科学的底座。
影响:讣告介绍,20世纪60年代初至中期,董韫美主持研制国内最早的实用高级程序语言BCY,并在多种国产机器上实现编译程序及相关系统软件,长期服务国家重大科研事业并发挥重要作用。
这一工作不仅回应了当时“工程急需”的现实挑战,也在语言与编译系统建设方面积累了自主技术与人才队伍。
进入80年代中期,他率先在国内开展软件复用技术研究,研制出国内首个可复用软件设计系统,推动软件研发从“单件式交付”向“可积木化构建”的理念转变,为提升开发效率和可靠性提供了方法路径。
90年代以来,围绕基于复用的文法推断等问题,他提出上下文无关语言递归函数理论CFRF,并设计上下文无关文法句子的线性时间枚举算法,解决了相关领域“是否存在线性时间算法”的国际未决问题。
这类成果体现出我国在基础理论与算法研究方面的持续突破,也为语言处理、编译与信息处理等方向提供了可迁移的理论工具。
对策:面向新一轮科技革命和产业变革,基础软件与软件科学仍需坚持“应用牵引与原创突破并重”。
一是强化基础研究与关键核心技术攻关,围绕编译系统、程序语言、软件工程与可验证算法等方向形成长期稳定支持,鼓励以重大问题为导向的原创性探索。
二是推动软件复用与工程化能力体系建设,完善标准化组件、工具链与质量评测机制,把可复用、可维护、可演进作为工程交付的硬指标。
三是加快高水平人才培养和学科交叉融合,促进数学、计算机科学与工程实践贯通,形成从理论到工具再到应用的闭环。
四是夯实中文信息处理与多语种计算能力等基础领域,持续提升关键底座的自主可控与开放协同水平。
前景:当前,软件已成为数字经济、智能制造、科学研究和公共治理的重要支撑。
随着大规模系统工程、数据要素流通与新型计算架构快速发展,软件能力将更加体现为国家竞争力的综合映射。
可以预期,编译与语言、软件工程方法、算法理论与可信计算等方向将持续孕育突破;同时,开源协作与产业生态将深度重塑研发范式。
以老一辈科学家长期积累的基础和方法为参照,坚持面向国家需求、面向世界科技前沿、面向经济主战场,将有助于我国在软件核心领域实现更高水平的自立自强。
董韫美院士的逝世是我国科技界的重大损失,但他留下的学术遗产和精神财富将持续滋养中国计算机科学发展。
在数字经济时代,重温老一辈科学家自力更生、勇攀高峰的科研历程,对于激励新一代科技工作者攻克关键核心技术、实现高水平科技自立自强具有深远意义。
这位科学先驱的毕生追求,正是中国从科技大国迈向科技强国的生动注脚。