Tao Xie - Biography 


短版本:

谢涛,现任美国伊利诺伊大学香槟分校(UIUC)计算机科学系副教授、Willett Faculty Scholar。他于1997年、2000年、2005分别获得复旦大学学士学位、北京大学硕士学位、美国西雅图华盛顿大学博士学位。他是ACM杰出科学 家、ACM和IEEE Computer Society杰出讲者。他曾获得美国NSF Faculty Career Award、微软研究院杰出合作者奖、谷歌教授研究奖、IBM教授奖。他是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年在美国西雅图华盛顿大学获得计算机 科 学 技术的硕士和博士学位,目前是美国伊利诺伊大学香槟分校有终身教职的副教授(自2013年7月起)。之前他从2010年8月到2013年6月为美国北卡州 立大学有终身教职的副教授(提前一年晋升),2005年8月到2010年7月为美国北卡州立大学助理教授。他曾在微软亚洲研究院和微软研究院(雷德蒙) 担任访问研究员,并常年担任微软研究院和华为公司的咨询顾问。他为ACM Distinguished Speaker和IEEE Computer Society Distinguished Visitor。2015年他当选为ACM杰出科学家。

他 在软件工程,特别是自动化软件工程取得多项开创性成果,尤其在软件测试和软件工程数据挖掘有突出的贡献,为该领域国际著名专家。近10年来发表逾200篇 论文,其中在旗帜和顶级国际期刊和国际会议共发表逾50篇论文。获得国 际学术会议最佳论文3篇(ICSE 2013 SEIP,USENIX LISA 2010,ASE 2009),最佳论文提名3篇(ASE 2009, ASE 2006, ASE 2003)。在美国主持科研项目包括逾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年获微软研究院杰出合作者奖,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年荣获中国国家自然科学基金会的海外及港澳学者合作研究基金延续资助。他是中国计算机英文期刊《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产品中的IntelliTest工具。