-
謝濤
(北京大學講席教授、歐洲科學院外籍院士)
鎖定
謝濤,1975年出生於廣西賀州,北京大學講席教授,北京大學計算機學院軟件科學與工程系主任,高可信軟件技術教育部重點實驗室副主任,國家高等學校學科創新引智基地負責人,歐洲科學院外籍院士,ACM Fellow(美國計算機協會會士)、IEEE Fellow(國際電氣與電子工程師協會會士)、AAAS Fellow(美國科學促進會會士)、CCF會士(中國計算機學會會士)。
[5]
- 中文名
- 謝濤
- 國 籍
- 中國
- 出生地
- 廣西賀州
- 出生日期
- 1975年
- 職 業
- 教育科研工作者
- 主要成就
- 2022年當選為歐洲科學院外籍院士
謝濤人物經歷
1975年,謝濤出生於廣西賀州的大平鄉。
1992年,畢業於賀州高級中學,以廣西省高考理科第三名的成績被複旦大學計算機系錄取。
1996年,被推薦保送到北京大學計算機系。
2000年—2005年,在美國西雅圖的華盛頓大學計算機科學與工程系攻讀博士研究生學位,導師是David Notkin教授。
2005年,博士畢業後被美國北卡羅萊納州立大學聘為計算機科學系助理教授。
2010年,晉升為北卡羅萊納州立大學終身副教授。
2013年,受聘為美國伊利諾伊大學香檳分校計算機科學系終身副教授。
2017年,晉升為伊利諾伊大學香檳分校正教授。
2018年,當選為IEEE Fellow。
2019年,入職北京大學信息科學技術學院計算機系(現為北京大學計算機學院),成為北京大學講席教授。
謝濤主要成就
謝濤科研成就
- 科研綜述
謝濤和微軟研究院合作研發的Pex測試工具自2015年起被微軟發佈為Visual Studio企業版的主打測試功能IntelliTest;與和合作者首次闡述了軟件解析學的定義,並用具體成果系統來示例如何開展高影響力的軟件解析學研究;首次把數據挖掘和機器學習所用的軟件製品數據源從單個或幾個開源系統拓寬到整個互聯網上的軟件製品,有效地解決了在輔助軟件工程任務時相關數據點不足的問題,首次有效地解決了在一個特定軟件開發問題上的數據驅動軟件自動化:如何自動地合成方法調用序列來獲取一個給定類的對象;騰訊微信測試團隊合作研發一系列測試分析技術與系統,已部署在微信質量保障實踐中,涉及移動應用自動測試、神經機器翻譯異常檢測、微信小遊戲抄襲檢測等;自主研發了第一個中大型規模的開源微服務系統TrainTicket,賦能學術界和產業界聯合開展微服務相關的技術攻關。
[1-4]
- 科研獎勵
獲獎時間 | 獎勵名稱 | |
---|---|---|
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 |
謝濤人才培養
- 培養成果
- 科研理念
謝濤覺得要去做到“頂天立地”,產出高影響力的科研成果。在“頂天”上,要推進發展使得本學科領域在國際前沿佔領更多“排頭兵”、“排頭兵團”的席位,而且能產出更多有大國際影響力的成果;在“立地”上,除了開展產學研合作去把更多科研成果(包括產業需求驅動的科研成果、一些好奇心驅動的科研成果等)落地產生大產業影響,也要為解決國家、產業重大需求發揮高校科研力量的優勢,和產業界以及各類研發機構協力合作,開展有組織科研去攻克關鍵核心技術。
[2]
- 教育理念
謝濤眼中,學生絕不僅僅是既成知識的接受者,更不是任務的執行者或是老師思想的延伸,學生應當是一個完整自足、自主思考的獨立生命體。師長給予學生的,絕不是一味的幫扶或是純粹知識的傳授,而是先行者之於後來者的引領示範,是獨立豐盈的生命體間的互相啓迪與攜手共進。
[6]
謝濤榮譽表彰
授予時間 | |
---|---|
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俱樂部 | 創始成員 |
謝濤人物評價
不管是求學還是任教,謝濤都是很勤奮地去學習和工作,通常比周圍同學、同事都要更加努力;從中學時代起,謝濤就養成了觀察、反思、總結的習慣,從自己(甚至他人)過去做某件事的成功或失敗經歷中來昇華和抽象出規律和經驗教訓,並系統地條理清晰地表達出來。(CCF評)
[4]
一直以來,謝濤帶着一股奔赴不息的闖勁,做出了一系列對軟件產業有高影響的研究工作,又以包容開放的姿態,言傳身教地將追求卓越的力量傳遞給學生,致力推動學術社區的多元與學界的融通互動。(賀州市廣播電視台評)
[10]
- 參考資料
-
- 1. 祝賀計算機學院謝濤教授當選歐洲科學院外籍院士 .北京大學計算機學院[引用日期2023-05-10]
- 2. 校友訪談 | 謝濤:做“頂天立地”的科研 .復旦大學官網[引用日期2023-05-10]
- 3. 計算機科學技術系謝濤教授獲ASE 2021最有影響力論文獎 .北京大學[引用日期2023-05-10]
- 4. 【CCF會員故事-14】計算機軟件科學家謝濤:星辰大海,求思進取 .中國計算機學會[引用日期2023-05-10]
- 5. 謝濤 .北京大學計算機學院[引用日期2023-05-10]
- 6. 北大謝濤:追風少年燕歸來 .北京大學[引用日期2023-05-10]
- 7. 【公益直播預告】“我的科學成功之路”—邀您與賀州籍“70後”科學家謝濤對話 .賀州教育[引用日期2023-05-10]
- 8. 計算機科學技術系謝濤教授獲ASE 2021最有影響力論文獎 .北京大學計算機學院[引用日期2023-05-10]
- 9. 謝濤教授獲得2018年TSE年度最佳論文獎 .高可信軟件技術教育部重點實驗室(北京大學)[引用日期2023-05-10]
- 10. 北京大學講席教授謝濤,賀州人的驕傲! .賀州市廣播電視台[引用日期2023-05-10]