扫码加入训练营

牢记核心词

学习得礼盒

研究生导师董韫美:吉林大学

2016-05-07 10:32:17来源:网络
姓  名 董韫美 性  别 出生年月 1936-03
所在院校 吉林大学 所在院系 计算机科学与技术学院
职称 教授 招生专业 计算机软件与理论
研究领域 软件规约与软件设计方法研究
联系方式 E-mail 电 话 邮 编 0
地 址
个人简介
  董韫美 男,1936年3月出生,中国科学院院士,中国科学院软件研究所研究员、博士生导师,吉林大学教授。他是我国最早从事计算机软件研究学者之一。
  目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用,提出基于复用的文法推断方法,并提出一种新的递归函数理论:上下文无关语言上的递归函数CFRF。
  培养硕士生、博士生多人。  董韫美 男,1936年3月出生,中国科学院院士,中国科学院软件研究所研究员、博士生导师,吉林大学教授。他是我国最早从事计算机软件研究学者之一。
  目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用,提出基于复用的文法推断方法,并提出一种新的递归函数理论:上下文无关语言上的递归函数CFRF。
  培养硕士生、博士生多人。
获得奖项
     先后获中国科学院科技进步一等奖和国家科技进步二等奖。 先后获中国科学院科技进步一等奖和国家科技进步二等奖。

考研择校小程序

本文关键字: 考研导师 研究生导师

考研英语核心词汇营

背词+听课+练习+督学,学习得礼盒

更多资料
更多>>
更多内容

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】,识别上方二维码;
2.点击【关注公众号】,获取资料大礼包。

免费下:2010-2026年考研真题及答案
更多>>
更多公开课>>
更多>>
更多资料