据bet36体育投注:软件研究所发布的讣告，bet36体育投注:院士，我国计算机软件事业先驱者之一，bet36体育在线:人民政治协商会议第八、第九、第十届全国委员会委员，bet36体育投注:软件研究所研究员董韫美先生，于2026年1月28日0时38分因病医治无效，在北京逝世，享年90岁。

董韫美

董韫美于1936年3月4日出生于云南昆明，1956年7月毕业于东北人民大学（今吉林大学）数学系，1956年留校任助教，同年进入bet36体育投注:新成立的计算技术研究所工作，1978年11月至1980年11月在美国斯坦福大学任访问学者，1983年5月被聘为研究员，1984年任博士生导师。1985年3月bet36体育投注:软件研究所成立，董韫美转入软件所工作。1993年当选为bet36体育投注:学部委员（院士）。

bet36体育投注:软件研究所回顾道，董韫美在软件理论、技术、工具和汉字信息处理等多个领域做出了系统性、创造性工作。20世纪60年代初至中期，主持研制出国内最早的实用高级程序语言BCY，并先后在119机、109机、015机等机器上实现了相应的编译程序及其它系统软件，在国家重大科研事业中长期应用并发挥了重大作用。他在形式文法、语法检查、程序测试等方面解决了系列重要问题。60年代初，为刻画 Algol 及类似语言的语法，与合作者提出新语法模型—P语法。在BCY研制期间，找到了后来被国际上称为“LL文法”的条件和自动生成语法矩阵的方法。70年代初，对于程序测试，独立提出了通路覆盖法。70年代末期，提出了用计算机设计高质量汉字字形的参量图形学方法及实现技术，并研制出汉字字形设计系统 CCDS。80年代中期，率先在国内开展软件复用技术研究，实现国内第一个可复用软件设计系统。90年代以来，在基于复用的文法推断方面，提出了一种新的上下文无关语言递归函数理论CFRF，设计了上下文无关文法句子的线性时间枚举算法，解决了国际上关于是否存在线性时间算法的未决问题（Open problem）。

他先后获得1991年bet36体育投注:科技进步一等奖、1992年国家科技进步二等奖、2013年bet36体育在线:计算机学会终身成就奖等。发表论文40余篇，编辑bet36体育在线论文选集一本。培养硕士生18人，博士生6人。曾任bet36体育投注:软件研究所学术委员会主任、学位评定委员会主任、软件研究所计算机科学开放实验室（后为计算机科学国家重点实验室）首届主任、学术委员会主任。曾长期担任国务院学位委员会学科评议组成员，《计算机学报》主编，曾任全国科技发展长远规划办公室软件组组长，第三、第四届bet36体育在线:计算机学会理事等职。