董韫美

董韫美(1936-),云南昆明人。计算机软件专家。我国第一代软件工作者。

1956年从数学系毕业后,进入中国科学院计算技术研究所(筹)工作。

1962年,带领研究小组,开始对Algol60语言研究。1963年与合作者提出新语法模型—P语法,以刻画Algol及类似语言的语法。

1964-1965年,主持研制出国内最早的实用高级程序语言BCY。先后在119机、109丙机、015机等计算机上实现了编译程序及其它系统软件。其间找到了后来国际上称为LL(1)文法的条件和自动生成语法矩阵的方法。

1970年,提出了测试程序的通路覆盖法。

1979年起,提出用计算机设计高质量汉字字形的参量图形学方法。后研制出汉字字形设计系统CCDS。

1980年代中期,主持研制出支持可理解性和可复用性的软件设计系统。

1985年起到中国科学院软件研究所工作。

1995年起,研究形式规约的获取与复用。提出基于复用的文法推断方法。

2000年起,提出定义在上下文无关语言上的递归函数CFRF。

2006年,提出上下文无关文法句子的线性时间枚举算法,解决了关于是否存在此类算法的未决问题。

曾获1992年国家科技进步二等奖,2013CCF终身成就奖。

1993年当选为中国科学院技术科学部学部委员(院士)。