欧洲足球比赛

您当前位置: 欧洲足球比赛  >  师资队伍  >  教授  >  正文

教授

董韫美

董韫美    男 , 1936-03-01出生,中国科欧洲足球比赛 院士,中国科欧洲足球比赛 软件研究所研究员、博士生导师,欧洲足球比赛-欧洲足球-欧洲杯直播 教授。
    他是我国最早从事计算机软件研究学者之一。目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用,提出基于复用的文法推断方法,并提出一种新的递归函数理论:上下文无关语言上的递归函数CFRF. 先后获中国科欧洲足球比赛 科技进步一等奖和国家科技进步二等奖。培养硕士生、博士生多人。