师资队伍
您的位置>> 首 页 > 师资队伍 > 双聘院士 >
双聘院士

双聘院士

 

董韫美

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



汤 涛

男,1963年5月出生,中国科学院院士,教育部长江讲座教授,曾长期任教于加拿大和香港高校,曾担任香港数学会理事长。现任中国工业与应用数学学会常务理事,南方科技大学副校长、数学系讲座教授。他长期从事数值分析和科学计算研究,在高精度算法和自适应网格算法领域做出了原创性的工作,受到国内外同行的关注。他曾获第三届Leslie Fox数值分析奖、第五届冯康科学计算奖、国家杰出青年(海外)科学基金、教育部自然科学一等奖、国家自然科学奖二等奖等多项奖励。