Tao Xie - Biography 


低清晰度照片   高清晰度照片

短版本:


谢涛,美国伊利诺伊大学香槟分校(UIUC)计算机科学系正教授、Willett Faculty Scholar。他2005年博士毕业后10年时间被评为美国计算机协会杰出科学家(ACM Distinguished Scientist)(2015年),12年时间被评为电气电子工程师学会会士(IEEE Fellow)(2018年)。他是《美国计算机协会通讯》(Communications of the ACM)、《IEEE Transactions on Software Engineering (TSE)》的编委,《Journal of Computer Science and Technology (JCST)》的Leading Editor。他是软件工程旗帜会议ICSE 2021以及ISSTA 2015的大会程序委员会(共同)主席。他曾获得美国NSF Faculty Career Award、微软研究院杰出合作者奖(全球32位获奖教授之一)、谷歌教授研究奖、三次IBM教授奖。2012年荣获中国国家自然科学基金会的海外及港澳学者合作研究基金(其前身为 “杰青B类”), 并于2015年荣获其延续资助。他的研究领域是软件工程,集中于软件测试、软件解析学、软件安全、智能软件工程(软件工程和人工智能的交叉领域)。他于 1997年、2000年、2005分别获得复旦大学学士学位、北京大学硕士学位、美国西雅图华盛顿大学博士学位。他的主页位于http: //taoxie.cs.illinois.edu/。

长版本:

谢涛,1997年本科毕业于复旦大学,2000年在北京大学获得计算机科学技术的硕士学位(师从梅宏教授),并于2002年和2005年在美国西雅图华盛 顿大学获得计算机科学技术的硕士和博士学位(师从David Notkin教授),目前是美国伊利诺伊大学香槟分校有终身教职的正教授。之前他从2010年8月到2013年6月为美国北卡州立大学有终身教职的副教授 (提前一年晋升),2005年8月到2010年7月为美国北卡州立大学助理教授。他曾在微软亚洲研究院和微软研究院(雷德蒙)担任访问研究员,并常年担任 微软研究院和华为公司的咨询顾问。他为ACM和IEEE Computer Society杰出讲者。他2005年博士毕业后 10年时间被评为美国计算机协会杰出科学家(ACM Distinguished Scientist)(2015年),12年时间被评为电气电子工程师学会会士(IEEE Fellow)(2018年)。

他的研究领域是软件工程,集中于软件测试、软件解析学、软件安全、智能软件工程(软件工程和人工智能的交叉领域)。他在软件工程,特别是自动化软件工程取得多项开创性成果,尤其在软件测试和 软件工程数据挖掘有突出的贡献。近10年来发表逾200篇论文,其中在旗帜和顶级国际期刊和国际会议共发表逾50篇论文。在美国主持科研项目包括逾20项 联邦政府科研项目和工业界科研项目。谢涛教授是ICSE, ISSTA,ICSM,MSR,Tapia国际会议的大会程序委员会(共同)主席(ICSE 2021, ICSM 2009,MSR 2010,MSR 2012,ISSTA 2015,Tapia 2017),其中ISSTA是软件测试分析研究领域的顶级会议。他担任ACM SIGSOFT History Liaison和SIGSOFT执行委员会委员,和ACM History Committee委员。谢涛教授于2009年获得美国国家自然科学基金学术生涯奖(NSF CAREER Award), 2016年获微软研究院杰出合作者奖(全球32位获奖教授之一,为唯一海外华人获此殊荣),2014年获谷歌教授研究奖,2008、2009、2010年 获得IBM教授奖和2008年获IBM Jazz创新奖,2011年获微软研究软件工程创新基础奖。2010年获得美国北卡罗莱纳州立大学Sigma Xi Faculty Research Award(成为该年全校唯一入选教授)。2015年评为美国伊利诺伊大学香槟分校工程学院Donald Biggar Willett学者(成为该年全学院9名入选教授之一)。2010年入选中国国家自然科学基金会的“龙星计划”(该计划是一个邀请杰出海外华人教授回国系 统讲授计算机研究生课程的计划)成为该年9名入选教授之一。2012年荣获中国国家自然科学基金会的海外及港澳学者合作研究基金(其前身为“杰青B 类”),2015年荣获中国国家自然科学基金会的海外及港澳学者合作研究基金延续资助(每年信息科学领域只有少数几位获此资助,所有领域该年只有20位获此资助)。 他在涵括计算机学科所有领域的2005年ACM 学生研究竞赛总决赛中获第三名。他是《美国计算机协会通讯》(Communications of the ACM)、《美国计算机协会通讯》(Communications of the ACM)、《IEEE Transactions on Software Engineering (TSE)》、《ACM Transactions on Internet Technology(TOIT)》、《Journal of Software Testing, Verification and Reliability (STVR)》杂志编委,中国计算机英文期刊《Journal of Computer Science and Technology (JCST)》软件系统领域的主编(leading editor),《IEEE Software》杂志指导委员会成员。

他领导和管理了逾十人的研究团队,做出对工业界有高影响的研究工作。他领导开发的软件测试用例冗余检测技术为工业界广泛使用的Parasoft Jtest所采用。他领导开发的软件测试生成核心技术已被集成到微软Visual Studio 2015、2017产品中的IntelliTest工具。他和微软研究院合作的一系列软件解析学研究以及和腾讯微信团队合作的测试工具研究在产业实践中得 到广泛采用。