985211 双一流
董韫美 男,1936年3月出生,中国科学院院士,中国科学院软件研究所研究员、博士生导师,吉林大学教授。 他是我国最早从事计算机软件研究学者之一。目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用,提出基于复用的文法推断方法,并提出一种新的递归函数理论:上下文无关语言上的递归函数CFRF . 先后获中国科学院科技进步一等奖和国家科技进步二等奖。培养硕士生、博士生多人。
学校首页
学校简介
院系设置
专业介绍
就业情况
院校动态
招生简章
录取规则
基础设施
收费项目
食宿条件
奖学金设置
体检要求
校园影集