董韫美
职称: | 研究员、院士 | |
研究方向: | 软件规约与软件设计方法 | |
电话: | 010-62661606 | |
E-Mail: | dym (at) ios.ac.cn |
长期从事程序语言、编译方法、形式语言、软件工具和汉字信息处理等方面的研究。上世纪六十年代初至中期,主持研制的国内最早的实用高级程序语言BCY, 曾在实际中长期应用并发挥了重大作用。曾先于国际上的一些著名工作,在形式文法、语法检查和程序测试等方面解决了相同的问题。八十年代初首先提出用计算机设计高质量汉字字形的方法及实现技术。八十年代中期以来率先在国内开展软件复用技术研究。目前从事软件规约与软件设计方法研究。先后获得中科院科技进步一等奖和国家科技进步二等奖。