科研成果

more
您当前所在位置: 首页 > 科学研究 > 科研成果 > 正文

计算理论与技术研究所

发布时间:2020-12-31点击量:

在科技部“973”计划、国家重点研发计划、取得了长足的发展,发表高水平论文200余篇,包括CCF A类期刊TSE、TOSEM、TKDE、TCAD,CCF A类会议ICSE、ASE、IJCAI,理论计算机著名国际期刊TCS等数十篇,授权专利30余项,软件著作权8项,于2014年获得陕西省科技进步一等奖1项,2015年获得教育部自然科学一等奖1项,2019年获批省级创新团队。研究成果处于国内领先水平,部分研究成果国际领先,在国家“探月工程三期月地高速再入返回飞行器”和浏览器安全验证中得到了成功应用。在学术交流方面,研究所广泛开展与美国(德克萨斯大学达拉斯分校)、英国(牛津大学)、日本(法政大学)、新加坡(南洋理工大学)、航天五院五〇二所、华为等著名大学与科研机构的学术交流与合作。此外,还承办了一系列国际和国内学术会议(TASE 2011、ICFEM 2017、COCOON 2019,SOFL+MSVL 2011-2019),这些合作活动与学术交流对扩大研究所在国际上的影响,提高学术水平,拓宽研究领域和了解前沿研究动态等发挥了较大作用。

人才称号:

田聪

2019年特聘教授

团队获奖:

2019年省级创新团队

项目获奖:

[1] 2015年获得陕西省科学技术奖一等奖,可信软件设计开发与验证的基础理论与关键技术,省部级

[2] 2016年获得教育部自然科学奖一等奖,程序验证的基础理论研究,省部级

上一篇:计算生物信息学研究所
下一篇:大数据与视觉智能研究所
Baidu
sogou