发信人: ISQlab (计算机系软件质量研究所), 信区: D_Computer
标 题: 徐宝文教授主持的研究成果获2012年江苏省科学技术一等奖
发信站: 南京大学小百合站 (Fri Mar 1 14:17:41 2013)
我系徐宝文教授主持的研究成果“面向关键任务的高可信软件分析与测试技术”喜获2012
年度江苏省科学技术一等奖，这是2012年度江苏省高校中信息技术领域唯一的一等奖奖项
，也是该团队获得的第三个省部级科技进步一等奖。[;PT]
徐宝文教授及其所带领的团队30多年来一直坚持程序设计语言、软件工程等方面的研究工
作。特别是从1980年代后期开始，主要进行软件分析、度量与测试等方面的研究，取得了
一系列具有国际影响力的成果，这些成果被国内外同行广泛关注和引用。该团队是目前国
内软件学术界在国际一流杂志上发表论文最多的团队，并10余次获得省部级科技进步奖。
自1990年起，徐宝文教授已指导博士后8人、博士生40余人、各类硕士生100余人。这些学
生先后获得过全国百篇优秀博士论文（软件工程领域第一篇全国百优论文）、中国计算机
学会首届青年科学家奖、微软学者奖（多人）、国际学术会议最佳或杰出论文奖（多人多
次）等。获得过省级与校级优秀博士论文、优秀硕士论文、优秀本科毕业论文一等奖的学
生则更多。
作为实验室成员，我们为团队所取得的成果感到欢欣鼓舞！热忱欢迎更多学弟学妹
加入我们实验室（工作地点在计算机科学技术楼712、713室）！有兴趣的同学可以访问网
站 http://jisq.nju.edu.cn 了解更多关于我们的信息，也可以和我们实验室的老师与同
学们联系。
留个我的邮箱，欢迎大家联系！
吴迪 NJU_wudi@163.com
--
※ 来源:．南京大学小百合站 http://bbs.nju.edu.cn [FROM: 114.212.81.57]
※ 修改:．ISQlab 於 Mar 1 14:21:17 2013 修改本文．[FROM: 114.212.81.57]
※ 修改:．ISQlab 於 Mar 1 14:32:33 2013 修改本文．[FROM: 114.212.81.57]
标 题: 徐宝文教授主持的研究成果获2012年江苏省科学技术一等奖
发信站: 南京大学小百合站 (Fri Mar 1 14:17:41 2013)
我系徐宝文教授主持的研究成果“面向关键任务的高可信软件分析与测试技术”喜获2012
年度江苏省科学技术一等奖，这是2012年度江苏省高校中信息技术领域唯一的一等奖奖项
，也是该团队获得的第三个省部级科技进步一等奖。[;PT]
徐宝文教授及其所带领的团队30多年来一直坚持程序设计语言、软件工程等方面的研究工
作。特别是从1980年代后期开始，主要进行软件分析、度量与测试等方面的研究，取得了
一系列具有国际影响力的成果，这些成果被国内外同行广泛关注和引用。该团队是目前国
内软件学术界在国际一流杂志上发表论文最多的团队，并10余次获得省部级科技进步奖。
自1990年起，徐宝文教授已指导博士后8人、博士生40余人、各类硕士生100余人。这些学
生先后获得过全国百篇优秀博士论文（软件工程领域第一篇全国百优论文）、中国计算机
学会首届青年科学家奖、微软学者奖（多人）、国际学术会议最佳或杰出论文奖（多人多
次）等。获得过省级与校级优秀博士论文、优秀硕士论文、优秀本科毕业论文一等奖的学
生则更多。
作为实验室成员，我们为团队所取得的成果感到欢欣鼓舞！热忱欢迎更多学弟学妹
加入我们实验室（工作地点在计算机科学技术楼712、713室）！有兴趣的同学可以访问网
站 http://jisq.nju.edu.cn 了解更多关于我们的信息，也可以和我们实验室的老师与同
学们联系。
留个我的邮箱，欢迎大家联系！
吴迪 NJU_wudi@163.com
--
※ 来源:．南京大学小百合站 http://bbs.nju.edu.cn [FROM: 114.212.81.57]
※ 修改:．ISQlab 於 Mar 1 14:21:17 2013 修改本文．[FROM: 114.212.81.57]
※ 修改:．ISQlab 於 Mar 1 14:32:33 2013 修改本文．[FROM: 114.212.81.57]
No comments:
Post a Comment