複製鏈接
請複製以下鏈接發送給好友

謝濤

(北京大學講席教授、歐洲科學院外籍院士)

鎖定
謝濤,1975年出生於廣西賀州,北京大學講席教授,北京大學計算機學院軟件科學與工程系主任,高可信軟件技術教育部重點實驗室副主任,國家高等學校學科創新引智基地負責人,歐洲科學院外籍院士,ACM Fellow(美國計算機協會會士)、IEEE Fellow(國際電氣與電子工程師協會會士)、AAAS Fellow(美國科學促進會會士)、CCF會士(中國計算機學會會士)。 [5] 
謝濤於1997年在復旦大學計算機科學系獲得學士學位;於2000年在北京大學計算機科學技術係獲得碩士學位;於2005年在美國西雅圖華盛頓大學計算機科學與工程系獲得博士學位,博士畢業後受聘為美國北卡羅萊納州立大學計算機科學系助理教授;2010年晉升為終身副教授;2013年受聘為美國伊利諾伊大學香檳分校計算機科學系終身副教授;2017年晉升為正教授;2019年回國入職北京大學;2022年當選為歐洲科學院外籍院士。 [6] 
謝濤致力於軟件工程、系統軟件、軟件安全、可信人工智能方面的研究。 [5] 
中文名
謝濤
國    籍
中國
出生地
廣西賀州
出生日期
1975年
職    業
教育科研工作者
主要成就
2022年當選為歐洲科學院外籍院士

謝濤人物經歷

1975年,謝濤出生於廣西賀州的大平鄉。
1992年,畢業於賀州高級中學,以廣西省高考理科第三名的成績被複旦大學計算機系錄取。
1996年,被推薦保送到北京大學計算機系。
1997年—2000年,在北京大學計算機系攻讀碩士研究生學位,其間加入到楊芙清領導下的團隊,參與了國家重點攻關計劃“青鳥工程”,導師為梅宏
2000年—2005年,在美國西雅圖的華盛頓大學計算機科學與工程系攻讀博士研究生學位,導師是David Notkin教授。
2005年,博士畢業後被美國北卡羅萊納州立大學聘為計算機科學系助理教授。
2010年,晉升為北卡羅萊納州立大學終身副教授。
2013年,受聘為美國伊利諾伊大學香檳分校計算機科學系終身副教授。
2017年,晉升為伊利諾伊大學香檳分校正教授。
2018年,當選為IEEE Fellow。
2019年,入職北京大學信息科學技術學院計算機系(現為北京大學計算機學院),成為北京大學講席教授。
2021年,當選為ACM Fellow和CCF會士。 [2]  [5] 
2022年,當選為歐洲科學院外籍院士。 [6-7] 

謝濤主要成就

謝濤科研成就

  • 科研綜述
謝濤和微軟研究院合作研發的Pex測試工具自2015年起被微軟發佈為Visual Studio企業版的主打測試功能IntelliTest;與和合作者首次闡述了軟件解析學的定義,並用具體成果系統來示例如何開展高影響力的軟件解析學研究;首次把數據挖掘和機器學習所用的軟件製品數據源從單個或幾個開源系統拓寬到整個互聯網上的軟件製品,有效地解決了在輔助軟件工程任務時相關數據點不足的問題,首次有效地解決了在一個特定軟件開發問題上的數據驅動軟件自動化:如何自動地合成方法調用序列來獲取一個給定類的對象;騰訊微信測試團隊合作研發一系列測試分析技術與系統,已部署在微信質量保障實踐中,涉及移動應用自動測試、神經機器翻譯異常檢測、微信小遊戲抄襲檢測等;自主研發了第一個中大型規模的開源微服務系統TrainTicket,賦能學術界和產業界聯合開展微服務相關的技術攻關。 [1-4] 
  • 科研獎勵
獲獎時間
獎勵名稱
獲獎成果 [5]  [8-9] 
2018年
軟件工程頂級國際期刊TSE最佳論文獎
Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study
2021年
軟件工程頂級國際會議ASE最有影響力論文獎
PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web

謝濤人才培養

  • 培養成果
謝濤曾共同指導的博士生中有一名獲得ACM SIGSOFT傑出博士論文獎。 [5] 
  • 科研理念
謝濤覺得要去做到“頂天立地”,產出高影響力的科研成果。在“頂天”上,要推進發展使得本學科領域在國際前沿佔領更多“排頭兵”、“排頭兵團”的席位,而且能產出更多有大國際影響力的成果;在“立地”上,除了開展產學研合作去把更多科研成果(包括產業需求驅動的科研成果、一些好奇心驅動的科研成果等)落地產生大產業影響,也要為解決國家、產業重大需求發揮高校科研力量的優勢,和產業界以及各類研發機構協力合作,開展有組織科研去攻克關鍵核心技術。 [2] 
  • 教育理念
謝濤眼中,學生絕不僅僅是既成知識的接受者,更不是任務的執行者或是老師思想的延伸,學生應當是一個完整自足、自主思考的獨立生命體。師長給予學生的,絕不是一味的幫扶或是純粹知識的傳授,而是先行者之於後來者的引領示範,是獨立豐盈的生命體間的互相啓迪與攜手共進。 [6] 

謝濤榮譽表彰

授予時間
榮譽稱號/獎項名稱 [5] 
2023年
ACM軟件工程領域(SIGSOFT)有影響力教育工作者獎
2022年
歐洲科學院外籍院士
2021年
ACM軟件工程領域(SIGSOFT)傑出服務獎
2020年
IEEE軟件工程領域(TCSE)傑出服務獎
2015年
Willett學者(UIUC工程學院)
/
美國自然科學基金會職業發展獎(NSF CAREER Award)
/
軟件倉庫挖掘奠基性貢獻獎
/
微軟研究院傑出合作者獎
/
微軟研究軟件工程創新基礎獎
/
谷歌教授研究獎
/
Facebook研究獎
/
IBM Jazz創新獎
/
IBM教授獎

謝濤社會任職

任職時間
任職單位
擔任職務 [5] 
2021年
軟件工程國際會議ICSE
共同主席
2020年、2021年
CCF-IEEE CS青年科學家獎評獎分委員會
主席
2020年
中國計算機大會程序委員會
主席
2017年、2018年
ACM Diversity旗艦國際會議Tapia程序委員會
主席和大會主席
2015年
ISSTA程序委員會
共同主席
/
《軟件測試、驗證與可靠性(STVR)》Wiley期刊
聯合主編
/
《美國計算機協會通訊(CACM)》《IEEE Transactions on Software Engineering (TSE)》《ACM Transactions on Software Engineering and Methodology (TOSEM)》
編委
/
《Journal of Computer Science and Technology (JCST)》
軟件系統領域首席編委
/
ACM SIGSOFT執行委員會委員
聯絡員
/
ACM歷史委員會
委員
/
北美計算機華人學者協會軟件工程專業委員會
聯合主席
/
CCF軟件工程專業委員會
副主任
/
CCF專委工作委員會
副主任
/
CCF女計算機工作者委員會
執委
/
CCF開源發展委員會
常委
/
CCF CTO俱樂部
創始成員

謝濤人物評價

不管是求學還是任教,謝濤都是很勤奮地去學習和工作,通常比周圍同學、同事都要更加努力;從中學時代起,謝濤就養成了觀察、反思、總結的習慣,從自己(甚至他人)過去做某件事的成功或失敗經歷中來昇華和抽象出規律和經驗教訓,並系統地條理清晰地表達出來。CCF評) [4] 
球場上,謝濤是分毫不讓的後衞,而在學術社區裏,他卻是願為每一個人留一分機會的推門人。(北京大學評) [6] 
一直以來,謝濤帶着一股奔赴不息的闖勁,做出了一系列對軟件產業有高影響的研究工作,又以包容開放的姿態,言傳身教地將追求卓越的力量傳遞給學生,致力推動學術社區的多元與學界的融通互動。賀州市廣播電視台評) [10] 
參考資料