当前位置:首页 > 研究生院 > 计算机科学与技术学院 > 正文内容

吉林大学计算机科学与技术学院院士风采:董韫美

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

本网站文章仅供交流学习 ,不作为商用, 版权归属原作者,部分文章推送时未能及时与原作者取得联系,若来源标注错误或侵犯到您的权益烦请告知,我们将立即删除.