董韫美

董韫美， [1] 1936年3月生于中国云南省。我国早期计算机软件工作者之一。从50年代后期起从事计算机软件的研究开发。60年代初、中期，主持和作为主力研制出我国最早的实用高级程序语言BCY和有关计算机上的编译器，其后的工作包括形式语言理论、编译技术。从50年代后期起从事计算机软件的研究开发，曾在软件理论、技术、工具和汉字信息处理等多个领域进行研究工作。目前从事软件规约与软件设计方法研究。

董韫美中国科学院软件研究所研究员、博士生导师，吉林大学教授。是我国最早从事计算机软件研究学者之一。目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用，提出基于复用的文法推断方法，并提出一种新的递归函数理论：上下文无关语言上的递归函数CFRF.先后获中国科学院科技进步一等奖和国家科技进步二等奖。培养硕士生、博士生多人。 1985年起在中国科学院软件研究所工作。1978年赴美国Stanford大学进修。1983年起为研究员，1984年任博士生导师，1993年当选为中国科学院院士。历任中国科学院软件研究所学术委员会主任、学位评定委员会主任、计算机科学开放实验室（后称重点实验室）首届主任、学术委员会主任。 曾在软件理论、技术、工具和汉字信息处理等多个领域进行研究工作。二十世纪六十年代初至中期，主持研制出国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其它系统软件,曾在实际中长期应用并发挥了重大作用。六十年代至七十年代初，曾先于国际上的一些著名工作，在形式文法、语法检查和程序测试等方面解决了相同的问题。八十年代初首先提出用计算机设计高质量汉字字形的方法及实现技术。八十年代中期以来率先在国内开展软件复用技术研究。目前从事软件规约与软件设计方法研究。曾先后获得中国科学院科技进步一等奖和国家科技进步二等奖。曾长期担任国务院学位委员会学科评议组成员和《计算机学报》主编等职。

1956年毕业于吉林大学数学系，同年进入中国科学院新成立的计算技术研究所工作。 1978年赴美国Stanford大学进修。 1979年提出用计算机设计高质量汉字字形的参量图形学方法，解决了有关的实现技术。 1983年起为研究员，1984年任博士生导师，1993年当选为中国科学院院士。 1985年起在中国科学院软件研究所工作。 80年代中期以来，研究软件复用技术。 90年代以来，研究形式规约的获取与复用，提出基于复用的文法推断方法，和提出一种新的递归函数理论：上下文无关语言上的递归函数CFRF.1993年选聘为中国科学院院士（学部委员）。 二十世纪六十年代初至中期，主持研制出国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其它系统软件,曾在实际中长期应用并发挥了重大作用。六十年代至七十年代初，曾先于国际上的一些著名工作，在形式文法、语法检查和程序测试等方面解决了相同的问题。八十年代初首先提出用计算机设计高质量汉字字形的方法及实现技术。八十年代中期以来率先在国内开展软件复用技术研究。