• 中国科学院院士
董韫美

  • 姓名

    董韫美

  • 民族

    汉族

  • 性别

  • 籍贯

    云南省 昆明市

  • 出生日期

    1936年03月04日

  • 当选年份

    中国科学院  1993年

  • 学部

    信息技术科学部

  • 链接

    中国工程科技专家库

     

董韫美(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年当选为中国科学院技术科学部学部委员(院士)。

展开更多

院士印象

院士风采

地址:北京市西城区冰窖口胡同2号   邮政信箱:北京8068信箱   邮编:100088    关于我们
电话:010-59300004   邮箱:ysg@ckcest.cn
Copyright © 2012 CKCEST ICP备案号:京ICP备14021735号-2