软件工程领域大牛:谢涛教授(美国伊利诺伊大学香槟分校)介绍

本文主要是介绍软件工程领域大牛:谢涛教授(美国伊利诺伊大学香槟分校)介绍,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

抬头仰望星空,神游万里,总有高人。

今日,介绍谢涛教授。

介绍

介绍这位教授是因为自己在百度学术上查找 test orale关键字的时候搜索到了教授的文章:“Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking”,当时我就在想,这个是不是CNCC 2018的嘉宾谢涛教授呢,一经核实,是的,然后看到他的主页,实在是成就太多了,所以在此记录一下。

教授的主页

教授主页: http://taoxie.cs.illinois.edu/

成就实在太多,我已经眼花缭乱。
在这里插入图片描述

再看他的bibliography:http://taoxie.cs.illinois.edu/bio-cn.html

在这里插入图片描述

这里简单罗列几点:

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

谢涛教授于2009年获得美国国家自然科学基金学术生涯奖(NSF CAREER Award), 2016年获微软研究院杰出合作者奖(全球32位获奖教授之一,为唯一海外华人获此殊荣),2014年获谷歌教授研究奖,2008、2009、2010年 获IBM教授奖和2008年获IBM Jazz创新奖,2011年获微软研究软件工程创新基础奖,2018年获Facebook研究奖。2010年获得美国北卡罗莱纳州立大学Sigma Xi Faculty Research Award(成为该年全校唯一入选教授)。

谢涛,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年)。

ACM杰出科学家,IEEE会士,以及各种头衔,称号,奖项。实在是强!

谢涛教授的文章

其文章罗列在:http://taoxie.cs.illinois.edu/publications.htm

顶会文章实在太多。
大多是和测试相关,还有安卓,人工智能相关的。
这里不一一罗列了。

稍微列几篇我感兴趣的:
1)A Combinatorial Testing-Based Approach to Fault Localization.
IEEE Transactions on Software Engineering (TSE), To appear.
2)Intelligent Software Engineering: Synergy between AI and Software Engineering.
In Proceedings of Symposium on Dependable Software Engineering Theories, Tools and Applications
(SETTA 2018), Keynote Paper, Beijing, China, September 2018.
3)Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, and Hong Mei.
Test Input Reduction for Result Inspection to Facilitate Fault Localization.
Automated Software Engineering Journal. Vol. 17, Number 1, pp. 5-31 March 2010.

总结

其实我感觉,挺振奋人心的。
大家都有变优秀的机会,所以要保持对学术的高度热情鸭。

参考文献

[1] 教授主页: http://taoxie.cs.illinois.edu/
[2] bibliography:http://taoxie.cs.illinois.edu/bio-cn.html
[3] 文章:http://taoxie.cs.illinois.edu/publications.htm
[4] 谢涛简历. https://www.huodongjia.com/guest-077084073122077068065052.html

这篇关于软件工程领域大牛:谢涛教授(美国伊利诺伊大学香槟分校)介绍的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/515594

相关文章

MySQL中慢SQL优化的不同方式介绍

《MySQL中慢SQL优化的不同方式介绍》慢SQL的优化,主要从两个方面考虑,SQL语句本身的优化,以及数据库设计的优化,下面小编就来给大家介绍一下有哪些方式可以优化慢SQL吧... 目录避免不必要的列分页优化索引优化JOIN 的优化排序优化UNION 优化慢 SQL 的优化,主要从两个方面考虑,SQL 语

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

Python实现html转png的完美方案介绍

《Python实现html转png的完美方案介绍》这篇文章主要为大家详细介绍了如何使用Python实现html转png功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 1.增强稳定性与错误处理建议使用三层异常捕获结构:try: with sync_playwright(

Java使用多线程处理未知任务数的方案介绍

《Java使用多线程处理未知任务数的方案介绍》这篇文章主要为大家详细介绍了Java如何使用多线程实现处理未知任务数,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 知道任务个数,你可以定义好线程数规则,生成线程数去跑代码说明:1.虚拟线程池:使用 Executors.newVir

JAVA SE包装类和泛型详细介绍及说明方法

《JAVASE包装类和泛型详细介绍及说明方法》:本文主要介绍JAVASE包装类和泛型的相关资料,包括基本数据类型与包装类的对应关系,以及装箱和拆箱的概念,并重点讲解了自动装箱和自动拆箱的机制,文... 目录1. 包装类1.1 基本数据类型和对应的包装类1.2 装箱和拆箱1.3 自动装箱和自动拆箱2. 泛型2

四种Flutter子页面向父组件传递数据的方法介绍

《四种Flutter子页面向父组件传递数据的方法介绍》在Flutter中,如果父组件需要调用子组件的方法,可以通过常用的四种方式实现,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录方法 1:使用 GlobalKey 和 State 调用子组件方法方法 2:通过回调函数(Callb

Python进阶之Excel基本操作介绍

《Python进阶之Excel基本操作介绍》在现实中,很多工作都需要与数据打交道,Excel作为常用的数据处理工具,一直备受人们的青睐,本文主要为大家介绍了一些Python中Excel的基本操作,希望... 目录概述写入使用 xlwt使用 XlsxWriter读取修改概述在现实中,很多工作都需要与数据打交

java脚本使用不同版本jdk的说明介绍

《java脚本使用不同版本jdk的说明介绍》本文介绍了在Java中执行JavaScript脚本的几种方式,包括使用ScriptEngine、Nashorn和GraalVM,ScriptEngine适用... 目录Java脚本使用不同版本jdk的说明1.使用ScriptEngine执行javascript2.

Python实现NLP的完整流程介绍

《Python实现NLP的完整流程介绍》这篇文章主要为大家详细介绍了Python实现NLP的完整流程,文中的示例代码讲解详细,具有一定的借鉴价值,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. 编程安装和导入必要的库2. 文本数据准备3. 文本预处理3.1 小写化3.2 分词(Tokenizatio

性能测试介绍

性能测试是一种测试方法,旨在评估系统、应用程序或组件在现实场景中的性能表现和可靠性。它通常用于衡量系统在不同负载条件下的响应时间、吞吐量、资源利用率、稳定性和可扩展性等关键指标。 为什么要进行性能测试 通过性能测试,可以确定系统是否能够满足预期的性能要求,找出性能瓶颈和潜在的问题,并进行优化和调整。 发现性能瓶颈:性能测试可以帮助发现系统的性能瓶颈,即系统在高负载或高并发情况下可能出现的问题