|
|
崔勇博士,清华大学计算机系教授。 |
|
崔勇博士的研究领域是下一代互联网与无线移动计算等。他的主要学术贡献是,参加了我国下一代互联网示范工程建设,提出了IPv6过渡4over6关键技术,解决了IPv6过渡的跨域路由和大规模映射等难题,被国际互联网标准化组织IETF颁布为国际标准RFC 5565和RFC 5747等,为IPv6过渡提供了一种重要的解决方案。主要成果发表在TPDS、ToN、JSAC、COMST和IEEE Internet Computing等重要刊物上,2次获最佳论文奖。他主持了国家自然科学基金重大国际合作项目等,获国家科学技术进步奖二等奖1次、省部级一等奖5次和国家信息产业重大技术发明2次。崔勇博士是教育部新世纪优秀人才和北京市科技新星计划获得者,国际互联网标准化组织IETF IPv6过渡Softwire工作组主席。
|
|
|
|
|
|
|
吴庆波博士,国防科技大学计算机学院国产基础软件工程研究中心研究员。 |
|
吴庆波博士的研究领域是计算机操作系统软件。他的主要学术贡献是,曾先后参加了银河系列高性能计算机系统、高性能仿真计算机系统、高端容错计算机系统重大项目、“核高基”科技重大专项麒麟操作系统项目等多个国家和军队的重点型号工程,为国产操作系统软件在国家、军队关键装备型号中的应用作出了重要贡献,共获得部委级科技进步一等奖7项。吴庆波博士是全军首批高科技拔尖人才培养对象,教育部新世纪优秀人才支持计划,“求是”杰出青年实用工程奖,荣立二等功2次、三等功2次。
|
|
|
|
|
|
|
|
陈翌佳博士,上海交通大学计算机科学与工程系教授。 |
|
陈翌佳博士的研究领域是理论计算机科学,包括计算机科学中的逻辑、计算复杂性理论以及算法图论。他的主要学术贡献是,在有限模型论(描述复杂性) 和参数复杂性方面解决了一系列参数和描述复杂性的公开问题。他和其合作者发现了一个深刻的联系描述复杂性、证明复杂性和参数复杂性的结果,揭示了这三个差别很大的领域间的内在联系。该结果获得了2010年度欧洲最重要的理论计算机科学综合会议ICALP最佳论文奖,同时全文已经在计算机科学领域最顶尖的杂志 Journal of the ACM发表。其它研究结果发表在LICS、ICALP、CCC、JACM、SICOMP、JSL、APAL等国际学术刊物上。
|
|
|
|
|
|
|
|
|
魏峻博士,中国科学院软件研究所研究员。 |
|
魏峻博士的研究领域是网络分布式计算和软件工程。他的主要学术贡献是,成功研制了面向大型网络化应用的软件基础架构平台——网驰(ONCE)。他与其团队构建了面向国内需求、兼容国际标准的国产中间件技术体系,并参与推动建立了高效协同的中间件产业技术生态链“四方国件联盟”。另外,他自主研制了系列高可信软件生产工具,参与建立了国家软件资源共享与协同开发环境(TRUSTIE)。他主持国家自然科学基金、973、863、国家重大科技专项、欧盟FP6、中法国际合作基金等课题近20项。在国内外发表重要学术论文50余篇,15项技术发明专利获授权。获国家科技进步二等奖1次、北京市科学技术奖一等奖1次,电子学会电子信息科学技术一等奖1次。
|
|
|
|
|