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

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

前言

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

今日,介绍谢涛教授。

介绍

介绍这位教授是因为自己在百度学术上查找 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

相关文章

四种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

性能测试介绍

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

水位雨量在线监测系统概述及应用介绍

在当今社会,随着科技的飞速发展,各种智能监测系统已成为保障公共安全、促进资源管理和环境保护的重要工具。其中,水位雨量在线监测系统作为自然灾害预警、水资源管理及水利工程运行的关键技术,其重要性不言而喻。 一、水位雨量在线监测系统的基本原理 水位雨量在线监测系统主要由数据采集单元、数据传输网络、数据处理中心及用户终端四大部分构成,形成了一个完整的闭环系统。 数据采集单元:这是系统的“眼睛”,

Hadoop数据压缩使用介绍

一、压缩原则 (1)运算密集型的Job,少用压缩 (2)IO密集型的Job,多用压缩 二、压缩算法比较 三、压缩位置选择 四、压缩参数配置 1)为了支持多种压缩/解压缩算法,Hadoop引入了编码/解码器 2)要在Hadoop中启用压缩,可以配置如下参数

图神经网络模型介绍(1)

我们将图神经网络分为基于谱域的模型和基于空域的模型,并按照发展顺序详解每个类别中的重要模型。 1.1基于谱域的图神经网络         谱域上的图卷积在图学习迈向深度学习的发展历程中起到了关键的作用。本节主要介绍三个具有代表性的谱域图神经网络:谱图卷积网络、切比雪夫网络和图卷积网络。 (1)谱图卷积网络 卷积定理:函数卷积的傅里叶变换是函数傅里叶变换的乘积,即F{f*g}

C++——stack、queue的实现及deque的介绍

目录 1.stack与queue的实现 1.1stack的实现  1.2 queue的实现 2.重温vector、list、stack、queue的介绍 2.1 STL标准库中stack和queue的底层结构  3.deque的简单介绍 3.1为什么选择deque作为stack和queue的底层默认容器  3.2 STL中对stack与queue的模拟实现 ①stack模拟实现

Mysql BLOB类型介绍

BLOB类型的字段用于存储二进制数据 在MySQL中,BLOB类型,包括:TinyBlob、Blob、MediumBlob、LongBlob,这几个类型之间的唯一区别是在存储的大小不同。 TinyBlob 最大 255 Blob 最大 65K MediumBlob 最大 16M LongBlob 最大 4G