Tao Xie - Biography 


短版本:

谢涛,现任美国伊利诺伊大学香槟分校(UIUC)计算机科学系正教授、Willett Faculty Scholar。他于1997年、2000年、2005分别获得复旦大学学士学位、北京大学硕士学位、美国西雅图华盛顿大学博士学位。他是ACM杰出科学 家、ACM和IEEE Computer Society杰出讲者。他曾获得美国NSF Faculty Career Award、微软研究院杰出合作者奖(全球只有32位教授获此殊荣)、谷歌教授研究奖、IBM Jazz创新奖、三次IBM教授奖。他在涵括计算机学科所有领域的2005年ACM学生研究竞赛总决赛中获第三名。2012年荣获中国国家自然科学基金会 的海外及港澳学者合作研究基金(其前身为“杰青B类”),2015年荣获中国国家自然科学基金会的海外及港澳学者合作研究基金延续资助(每年信息科学领域 只有少数几位获此资助,所有领域该年只有20位获此资助)。他是IEEE Transactions on Software Engineering (TSE)、ACM Transactions on Internet Technology (TOIT)编委,Journal of Computer Science and Technology (JCST)的Leading Editor。他的主页位于http://taoxie.cs.illinois.edu/。

长版本:

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

他在软件工程,特别是自动化软件工程取得多项开创性成果,尤其在软件测试和软件工程数据挖掘有突出的贡献。 近10年来发表逾200篇论文,其中在旗帜和顶级国际期刊和国际会议共发表逾50篇论文。在美国主持科研项目包括逾20项联邦政府科研项目和工业界科研项 目。谢涛教授是ISSTA,ICSM,MSR,Tapia国际会议的大会程序委员会主席(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 学生研究竞赛总决赛中获第三名。他是中国计算机英文期刊《Journal of Computer Science and Technology (JCST)》软件系统领域的主编(leading editor),《IEEE Transactions on Software Engineering (TSE)》、《ACM Transactions on Internet Technology(TOIT)》、《Journal of Software Testing, Verification and Reliability (STVR)》杂志编委,《ACM中国CACM版》、《信息安全学报》杂志编委,《IEEE Software》杂志指导委员会成员。

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