謝濤,1975年出生於廣西賀州,北京大學講席教授,北京大學計算機學院軟體科學與工程系主任,高可信軟體技術教育部重點實驗室副主任,國家高等學校學科創新引智基地負責人,歐洲科學院外籍院士,ACM Fellow(美國計算機協會會士)、IEEE Fellow(國際電氣與電子工程師協會會士)、AAAS Fellow(美國科學促進會會士)、CCF會士(中國計算機學會會士)。
謝濤於1997年在復旦大學計算機科學系獲得學士學位;於2000年在北京大學計算機科學技術系獲得碩士學位;於2005年在美國西雅圖華盛頓大學計算機科學與工程系獲得博士學位,博士畢業後受聘為美國北卡羅萊納州立大學計算機科學系助理教授;2010年晉升為終身副教授;2013年受聘為美國伊利諾伊大學香檳分校計算機科學系終身副教授;2017年晉升為正教授;2019年回國入職北京大學;2022年當選為歐洲科學院外籍院士。
謝濤致力於軟體工程、系統軟體、軟體安全、可信人工智慧方面的研究。
基本介紹
- 中文名:謝濤
- 國籍:中國
- 出生地:廣西賀州
- 出生日期:1975年
- 職業:教育科研工作者
- 主要成就:2022年當選為歐洲科學院外籍院士
人物經歷,主要成就,科研成就,人才培養,榮譽表彰,社會任職,人物評價,
人物經歷
1975年,謝濤出生於廣西賀州的大平鄉。
1992年,畢業於賀州高級中學,以廣西省高考理科第三名的成績被復旦大學計算機系錄取。
1996年,被推薦保送到北京大學計算機系。
2000年—2005年,在美國西雅圖的華盛頓大學計算機科學與工程系攻讀博士研究生學位,導師是David Notkin教授。
2005年,博士畢業後被美國北卡羅萊納州立大學聘為計算機科學系助理教授。
2010年,晉升為北卡羅萊納州立大學終身副教授。
2013年,受聘為美國伊利諾伊大學香檳分校計算機科學系終身副教授。
2017年,晉升為伊利諾伊大學香檳分校正教授。
2018年,當選為IEEE Fellow。
2019年,入職北京大學信息科學技術學院計算機系(現為北京大學計算機學院),成為北京大學講席教授。
2021年,當選為ACM Fellow和CCF會士。
2022年,當選為歐洲科學院外籍院士。
主要成就
科研成就
- 科研綜述
謝濤和微軟研究院合作研發的Pex測試工具自2015年起被微軟發布為Visual Studio企業版的主打測試功能IntelliTest;與和合作者首次闡述了軟體解析學的定義,並用具體成果系統來示例如何開展高影響力的軟體解析學研究;首次把數據挖掘和機器學習所用的軟體製品數據源從單個或幾個開源系統拓寬到整個網際網路上的軟體製品,有效地解決了在輔助軟體工程任務時相關數據點不足的問題,首次有效地解決了在一個特定軟體開發問題上的數據驅動軟體自動化:如何自動地合成方法調用序列來獲取一個給定類的對象;騰訊微信測試團隊合作研發一系列測試分析技術與系統,已部署在微信質量保障實踐中,涉及移動套用自動測試、神經機器翻譯異常檢測、微信小遊戲抄襲檢測等;自主研發了第一個中大型規模的開源微服務系統TrainTicket,賦能學術界和產業界聯合開展微服務相關的技術攻關。
- 科研獎勵
獲獎時間 | 獎勵名稱 | 獲獎成果 |
---|---|---|
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傑出博士論文獎。
- 科研理念
謝濤覺得要去做到“頂天立地”,產出高影響力的科研成果。在“頂天”上,要推進發展使得本學科領域在國際前沿占領更多“排頭兵”、“排頭兵團”的席位,而且能產出更多有大國際影響力的成果;在“立地”上,除了開展產學研合作去把更多科研成果(包括產業需求驅動的科研成果、一些好奇心驅動的科研成果等)落地產生大產業影響,也要為解決國家、產業重大需求發揮高校科研力量的優勢,和產業界以及各類研發機構協力合作,開展有組織科研去攻克關鍵核心技術。
- 教育理念
謝濤眼中,學生絕不僅僅是既成知識的接受者,更不是任務的執行者或是老師思想的延伸,學生應當是一個完整自足、自主思考的獨立生命體。師長給予學生的,絕不是一味的幫扶或是純粹知識的傳授,而是先行者之於後來者的引領示範,是獨立豐盈的生命體間的互相啟迪與攜手共進。
榮譽表彰
授予時間 | 榮譽稱號/獎項名稱 |
---|---|
2023年 | ACM軟體工程領域(SIGSOFT)有影響力教育工作者獎 |
2022年 | 歐洲科學院外籍院士 |
2021年 | ACM軟體工程領域(SIGSOFT)傑出服務獎 |
2020年 | IEEE軟體工程領域(TCSE)傑出服務獎 |
2015年 | Willett學者(UIUC工程學院) |
/ | 美國自然科學基金會職業發展獎(NSF CAREER Award) |
/ | 軟體倉庫挖掘奠基性貢獻獎 |
/ | 微軟研究院傑出合作者獎 |
/ | 微軟研究軟體工程創新基礎獎 |
/ | 谷歌教授研究獎 |
/ | Facebook研究獎 |
/ | IBM Jazz創新獎 |
/ | IBM教授獎 |
社會任職
任職時間 | 任職單位 | 擔任職務 |
---|---|---|
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俱樂部 | 創始成員 |