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

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

前言

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

今日,介绍谢涛教授。

介绍

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

相关文章

MybatisPlus service接口功能介绍

《MybatisPlusservice接口功能介绍》:本文主要介绍MybatisPlusservice接口功能介绍,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录Service接口基本用法进阶用法总结:Lambda方法Service接口基本用法MyBATisP

MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)

《MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)》掌握多表联查(INNERJOIN,LEFTJOIN,RIGHTJOIN,FULLJOIN)和子查询(标量、列、行、表子查询、相关/非相关、... 目录第一部分:多表联查 (JOIN Operations)1. 连接的类型 (JOIN Types)

java中BigDecimal里面的subtract函数介绍及实现方法

《java中BigDecimal里面的subtract函数介绍及实现方法》在Java中实现减法操作需要根据数据类型选择不同方法,主要分为数值型减法和字符串减法两种场景,本文给大家介绍java中BigD... 目录Java中BigDecimal里面的subtract函数的意思?一、数值型减法(高精度计算)1.

Pytorch介绍与安装过程

《Pytorch介绍与安装过程》PyTorch因其直观的设计、卓越的灵活性以及强大的动态计算图功能,迅速在学术界和工业界获得了广泛认可,成为当前深度学习研究和开发的主流工具之一,本文给大家介绍Pyto... 目录1、Pytorch介绍1.1、核心理念1.2、核心组件与功能1.3、适用场景与优势总结1.4、优

Java实现本地缓存的常用方案介绍

《Java实现本地缓存的常用方案介绍》本地缓存的代表技术主要有HashMap,GuavaCache,Caffeine和Encahche,这篇文章主要来和大家聊聊java利用这些技术分别实现本地缓存的方... 目录本地缓存实现方式HashMapConcurrentHashMapGuava CacheCaffe

Spring Security介绍及配置实现代码

《SpringSecurity介绍及配置实现代码》SpringSecurity是一个功能强大的Java安全框架,它提供了全面的安全认证(Authentication)和授权(Authorizatio... 目录简介Spring Security配置配置实现代码简介Spring Security是一个功能强

JSR-107缓存规范介绍

《JSR-107缓存规范介绍》JSR是JavaSpecificationRequests的缩写,意思是Java规范提案,下面给大家介绍JSR-107缓存规范的相关知识,感兴趣的朋友一起看看吧... 目录1.什么是jsR-1072.应用调用缓存图示3.JSR-107规范使用4.Spring 缓存机制缓存是每一

Java中 instanceof 的用法详细介绍

《Java中instanceof的用法详细介绍》在Java中,instanceof是一个二元运算符(类型比较操作符),用于检查一个对象是否是某个特定类、接口的实例,或者是否是其子类的实例,这篇文章... 目录引言基本语法基本作用1. 检查对象是否是指定类的实例2. 检查对象是否是子类的实例3. 检查对象是否

什么是ReFS 文件系统? ntfs和refs的优缺点区别介绍

《什么是ReFS文件系统?ntfs和refs的优缺点区别介绍》最近有用户在Win11Insider的安装界面中发现,可以使用ReFS来格式化硬盘,这是不是意味着,ReFS有望在未来成为W... 数十年以来,Windows 系统一直将 NTFS 作为「内置硬盘」的默认文件系统。不过近些年来,微软还在研发一款名

C#使用StackExchange.Redis实现分布式锁的两种方式介绍

《C#使用StackExchange.Redis实现分布式锁的两种方式介绍》分布式锁在集群的架构中发挥着重要的作用,:本文主要介绍C#使用StackExchange.Redis实现分布式锁的... 目录自定义分布式锁获取锁释放锁自动续期StackExchange.Redis分布式锁获取锁释放锁自动续期分布式