個人簡介：

謝濤，beat365講席教授，beat365官方网站軟件科學與工程系主任，高可信軟件技術教育部重點實驗室副主任，國家高等學校學科創新引智基地負責人。曾任美國伊利諾伊大學香槟分校（UIUC）計算機系正教授。當選歐洲科學院外籍院士、國際計算機學會（ACM）會士、電氣電子工程師學會（IEEE）會士、美國科學促進會（AAAS）會士、中國計算機學會（CCF）會士。曾獲科學探索獎，海外傑出青年科學基金，美國國家自然科學基金青年職業獎，ACM軟件工程領域（SIGSOFT）三大國際獎項中的兩項（有影響力教育工作者獎、傑出服務獎），IEEE軟件工程領域（TCSE）傑出服務獎，軟件倉庫挖掘奠基性貢獻獎，軟件工程頂級國際會議ASE 2021最有影響力論文獎等。擔任中國計算機學會系統軟件專委會主任，中國仿真學會自動駕駛汽車仿真測試專業委員會副主任，2020年中國計算機大會程序委員會主席，軟件工程頂級國際會議ICSE 2021程序委員會共同主席，《軟件測試、驗證與可靠性（STVR）》Wiley期刊聯合主編等。主要研究領域包括軟件工程，系統軟件，軟件安全，可信人工智能。

個人詳細資料：

謝濤，1975年出生于廣西賀州。現任beat365講席教授，beat365官方网站軟件科學與工程系主任，高可信軟件技術教育部重點實驗室副主任，國家高等學校學科創新引智基地負責人，中國科協海智計劃特聘專家，beat365新工科建設委員會副秘書長，并擔任校理工科人才評估專家小組成員，beat365學術委員會委員，軟件與微電子學院學術委員會委員，軟件工程國家工程研究中心學術委員會委員。分别于1997年和2000年在複旦大學計算機系和beat365計算機系分獲學士和碩士學位（師從梅宏教授），于2005年在美國西雅圖華盛頓大學（University of Washington at Seattle）計算機系獲博士學位（師從David Notkin教授）。2005年博士畢業後受聘為美國北卡州立大學計算機系助理教授，并于2010年提前一年晉升為終身副教授；2013年受聘為美國伊利諾伊大學香槟分校（UIUC）計算機系（計算機專業全美排第五）終身副教授，并于2017年晉升為正教授。2015年被UIUC工程學院評為Willett學者（此榮譽授予處于比較早期教授生涯的優秀學者；2015年之前UIUC計算機系史上隻有2位Willett學者）。

謝濤教授是軟件科學與工程領域國際知名學者，主要研究領域包括軟件工程，系統軟件，軟件安全，可信人工智能。長期從事軟件科學與工程的研究，在軟件測試、軟件解析學、軟件安全、軟件自動化、智能化軟件工程、可信人工智能等方面取得突出研究成果，曾獲科學探索獎，國家自然科學基金委海外傑出青年科學基金及其延續資助，美國國家自然科學基金青年職業獎（NSF CAREER Award），軟件倉庫挖掘奠基性貢獻獎，軟件工程頂級國際期刊TSE 2018年度最佳論文獎，軟件工程頂級國際會議ASE 2021最有影響力論文獎（首批華人得主）等。他曾共同指導的博士生中有一名獲得ACM SIGSOFT傑出博士論文獎。他當選電氣電子工程師學會會士（IEEE Fellow）（2018年），美國科學促進會會士（AAAS Fellow）（2019年），國際計算機學會（ACM）會士（2021年），中國計算機學會（CCF）會士（2021年）（是第二位同時獲此四殊榮的學者），和歐洲科學院（Academia Europaea）外籍院士（2022）。他當選三大國際頂級學會（ACM、IEEE、AAAS）Fellow的貢獻citation為“For contributions to software testing and analytics”。做出了一系列對軟件産業有高影響的研究工作，例如，和微軟研究院合作研發的Pex測試工具自2015年起被微軟發布為Visual Studio企業版的主打測試功能IntelliTest；主導研發的ACPT安全策略測試工具被美國國家标準局（NIST）公開發布，ACPT已被550多個用戶下載（截至2019年），并被兩家商業公司用作其軟件産品的基礎。曾獲微軟研究院傑出合作者獎（全球32位獲獎教授之一、3位華人得主之一）、微軟研究軟件工程創新基礎獎、谷歌教授研究獎、Facebook研究獎、IBM Jazz創新獎、IBM教授獎等。

謝濤教授對軟件科學與工程界做出傑出貢獻和服務，獲ACM軟件工程領域（SIGSOFT）三大國際獎項中的兩項（2023年度有影響力教育工作者獎、2021年度傑出服務獎），以及2020年度IEEE軟件工程領域（TCSE）傑出服務獎（為TCSE年度四大獎項之一），是全球唯一同時獲得這兩個傑出服務國際獎項的學者。他擔任軟件工程頂級國際會議ICSE 2021、ISSTA 2015的大會程序委員會（共同）主席、ACM多元化（Diversity）旗艦國際會議 Tapia 2017/2018的程序委員會主席和大會主席、2020年中國計算機大會程序委員會主席。擔任《軟件測試、驗證與可靠性（STVR）》Wiley期刊聯合主編，以及ACM旗艦出版物《美國計算機協會通訊（CACM）》、《IEEE Transactions on Software Engineering （TSE）》、《ACM Transactions on Software Engineering and Methodology (TOSEM)》等期刊的編委，和《Journal of Computer Science and Technology （JCST）》的軟件系統領域首席編委（Leading Editor）。擔任（或曾經擔任）ACM SIGSOFT執行委員會委員及其曆史聯絡員、ACM 曆史委員會委員、北美計算機華人學者協會軟件工程專業委員會聯合主席、CCF系統軟件專委會主任（2024-2027）、CCF軟件工程專業委員會副主任（2020-2023）、中國仿真學會自動駕駛汽車仿真測試專業委員會副主任（2023至今），CCF專委工作委員會副主任（2022-2024）、CCF女計算機工作者委員會執委、CCF開源發展委員會常委、CCF CTO俱樂部創始成員與CCF-IEEE CS青年科學家獎評獎分委員會主席（2020-2021）等。他還擔任生成式通用智能專家咨詢委員會委員、先進計算推進工作組專家咨詢委員會委員等。