徐寶文

徐寶文

寶文,男,1961年10月生,博士,教授,博導。南京大學教授,國家傑出青年科學基金獲得者。

人物經歷


徐寶文,男,1961年生,博士,教授,博導;兼任軟體工程國家重點實驗室(武漢大學)主任、江蘇省軟體質量研究所所長;國家傑出青年科學基金獲得者。分別獲武漢大學、華中科技大學北京航空航天大學學士、碩士、博士學位,國防科大博士后。1990年與1994年分別破格晉陞副教授與教授。國家自然科學基金委員會第十一、十二屆專家評審組成員。軟體工程國家重點實驗室(武漢大學)、教育部高可信軟體重點實驗室(北京大學)、上海市計算機軟體評測重點實驗室、安徽省計算與通訊軟體重點實驗室(中國科學技術大學)、廣西區高可信軟體重點實驗室(桂林電子科技大學)等學術委員會委員/主任。曾先後擔任中國計算機學會理事暨電子政務與辦公自動化專業委員會主任(榮譽主任)、中國軟體行業協會理事、江蘇省計算機學會副理事長、江蘇省軟體行業協會副理事長(副會長),教育部高等學校計算機科學與技術、軟體工程教學指導分委員會委員等。

主要研究方向


主要從事程序設計語言軟體工程(軟體方法論、軟體分析、度量與測試)、Web技術等方面的研究。與美、英、加、澳、港、台等國家和地區的學者有比較廣泛的合作關係。擔任國際學術會議主席、程序委員會主席/委員等100餘次。

主要學術成果


主編系列叢書(教材)二部,出版著譯作10餘部,發表論文300餘篇,被SCI、EIISTP收錄300餘篇次,所發表的論文被除內地外的40多個國家和地區他引1000餘次(另有國內引用約2000次),國際上相關領域的主要大學和研究單位、主要研究人員與主要雜誌基本上都引用或採用過徐老師的論文,這在國內軟體界名列前茅。
以第一獲獎者獲得省部級科技進步(自然科學)一等獎二次、省部級科技進步(自然科學)二等獎5次。先後獲航空航天部優秀青年教師、江蘇省優秀教育工作者、江蘇省優秀青年骨幹教師、江蘇省跨世紀學術帶頭人、江蘇省優秀博士生導師、教育部跨世紀優秀人才、江蘇省優秀科技工作者等稱號,政府特殊津貼獲得者,江蘇省中青年科技領軍人才、“六大人才高峰”A類人才培養對象。2003年獲中創軟體人才獎,2004年被評為“國家傑出青年科學基金”獲得者。

主要學術兼職


曾擔任過中國計算機學會理事暨電子政務與辦公自動化專業委員會主任、中國軟體行業協會理事、國家自然科學基金委員會第十一、十二屆專家評審組成員、教育部高等學校計算機科學與技術、軟體工程教學指導分委員會委員、江蘇省計算機學會副理事長、江蘇省軟體行業協會副會長(副理事長)、中國計算機學會理事暨電子政務與辦公自動化專委會主任等學術職務。
先後發起並召開多次“全國程序設計語言發展與教學學術會議”、“全國Web信息系統及應用學術會議”、“全國電子政務及應用技術學術研討會”、“全國Web技術與本體論學術研討會”等學術會議。從20年前開始,先後主持20多次國際國內學術會議,被邀請任國際學術會議職務100多次。
擔任國內外十多個大學的兼職教授與客座教授,(武漢大學)軟體工程國家重點實驗室、(北京大學)教育部高可信軟體重點實驗室、上海市計算機軟體評測重點實驗室等學術委員會委員與主任,(中國科學技術大學)安徽省計算與通訊軟體重點實驗室等學術委員會委員。
擔任國外IJISTA、IJITM與IJCAT等國際學術刊物編委及國內《新世紀高等學校計算機系列教材》與《實用軟體詳解從書》編委會主任。

主要社會兼職


第八、九、十屆江蘇省政協常委,中國民主同盟江蘇省委副主委。先後擔任公安部特邀監督員、江蘇省公安廳警風警紀監督員、江蘇省勞動廳行風監督員、江蘇省質量技術監督局政務公開監督員、東方航空江蘇公司督查員,江蘇省公安系統行風評議組、江蘇省建設系統行風評議組、江蘇省質監系統行風評議組成員/組長,馬鞍山市人民政府顧問與決策諮詢委員會委員、無錫市政府信息顧問、南京市科技擁軍服務團專家組成員、廣東省軟體科學園專家組專家等。

主要教學成果


1990年開始指導碩士生,1995年評為博士生導師。已指導博士后8人、博士生40餘人(其中已畢業30餘人)、各類碩士生100餘人。所指導的學生10多人次獲得全國百篇優秀博士論文、微軟學者獎、江蘇省優秀博士論文、江蘇省優秀碩士論文、江蘇省優秀本科畢業論文一等獎。

代表著作


1.徐寶文, 張衛豐. 搜索引擎與信息獲取技術。北京:清華大學出版社,2003
2.Baowen Xu, Yuming Zhou, Hongmin Lu. An improved accuracy measure for rough sets.Journal of Computer and System Sciences (JCSS).2005, 71(2): 163-173
3.Baowen Xu, Yuming Zhou. More Comments on A Cohesion Measure for Object-oriented Classes .Software:Practice & Experience. 2003, 33(6): 583-588
4.Zhenqiang Chen, Baowen Xu, Hongji Yang and Jianjun Zhao. Concurrent Ada dead statements detection.Information and Software Technology, 2002, 44(13): 733-741
5.Xu Baowen, Zhou Yuming. Extracting Objects from Ada 83 Programs: A Case Study. Journal of Computer Science and Technology, 2001,16(6): 574-581