计算机软件科学家谢涛,计算机软件科学家谢涛:星辰大海,求思进取-程序员宅基地

技术标签: 计算机软件科学家谢涛  

2019年11月底,著名《Science》杂志的主办者、出版者美国科学促进会(AAAS)公布了2019年度会士(Fellow)增选结果,“信息、计算与通讯”学部全球入选的24位新科会士中有这么一对计算机界同胞兄弟:哥哥谢源是计算机硬件科学家(2015年当选IEEE Fellow,2019年当选ACM Fellow);弟弟谢涛则是计算机软件科学家(2015年当选ACM杰出科学家,2018年当选IEEE Fellow),并于2019年当选CCF杰出会员、2020年起就任CCF软件工程专业委员会副主任、CCF-IEEE CS“青年科学家奖”评奖分委员会主席……

点击下方观看谢涛视频:

本期CCF会员人物:

56e5a7d11b627fec348e1c8cb608bc2e.png

人物:谢涛

本期CCF会员人物:谢涛

CCF新增加了这样一位杰出会员。

他于1992年考入复旦大学,1997年保送至北京大学攻读硕士学位,师从梅宏教授,于2000年被美国西雅图华盛顿大学录取攻读博士学位,师从独揽ACM SIGSOFT杰出研究、服务、教育三项大奖的David Notkin教授(Notkin教授的师祖是图灵奖获得者、发明Dijkstra最短路径算法的Edsger W. Dijkstra教授)。2005年取得博士学位后一直在高校任教,并于2017年8月在美国伊利诺伊大学香槟分校(UIUC,全美计算机系排名第五)晋升为正教授,最近2019年8月聘为北京大学计算机科学技术系讲席教授。

—1—

执着追求高影响力的研究

在2015年9月期的《中国计算机学会通讯》上,谢涛发表了一篇专栏文章“产学研结合:机会与挑战”,以他自己的科研经历以及周围同事的科研经历为例,阐述了产业界和学术界相结合的机会和挑战。

a67f8fec9d86d3f037585a0713b6221d.png

他追求高影响力研究的初心源于1997年到2000年在北京大学从事硕士研究的经历,这期间他参与了杨芙清院士领导的青鸟工程,在梅宏教授的指导下参与研发了青鸟C++程序理解工具并领导研发了青鸟面向对象软件度量框架及工具。这段科研历练的启蒙,让他立志在未来科研道路去追求高产业影响力。

他从2007年开始和微软雷德蒙研究院合作研发自动测试数据产生工具Pex,他设计和实现的Fitnex路径搜索技术集成到Pex里成为其三大核心技术之一。自2015起,Pex被微软发布为Visual Studio企业版的IntelliTest主打功能,使广大Visual Studio用户受益。基于Pex,他还设计了一款新颖的编程教育游戏Coding Duels,拥有几百万的注册用户,并被微软研究院主办的编程之美大赛和Imagine Cup大赛采用作为其主要竞赛形式之一。

12c99a382b1cdc1975cfedfe9681595c.png

9f4ddc98cd02fb645c8c1f9c25fb2fb9.png

他从2010年开始和微软亚洲研究院(MSRA)合作,大力推动一个新的研究领域:软件解析学(Software Analytics),引领一大批软件工程研究者在这个领域开展新的研究,并通过一系列高产业影响力的软件解析学系统来展现这个研究领域的风采。他和MSRA合作者发表的软件工程旗帜性国际会议ICSE 2012(CCF A类)论文描述的StackMine性能分析系统曾在微软Windows产品部门部署使用。此论文被MSRA从其20年间发表的超过5000篇论文中选为20篇代表论文之一。

他从2015年开始和腾讯微信测试团队合作研发一系列测试分析技术与系统,已部署在微信质量保障实践中,涉及移动应用自动测试、神经机器翻译异常检测、微信小游戏抄袭检测等。

faacea8d5e8b20251c4f85fc1fd4765f.png

他从2017年开始和复旦大学CodeWisdom团队合作,研发解决方案来应对产业界广泛采用微服务架构后所遇到的开发和运维挑战,并自主研发了第一个中大型规模的开源微服务系统TrainTicket(https://github.com/FudanSELab/train-ticket/),赋能学术界和产业界联合开展微服务相关的技术攻关。介绍这个开源系统及相关调试技术的论文被评选为软件工程旗帜性国际期刊《IEEE Transactions on Software Engineering》(CCF A类)2018年唯一的最佳论文。

自2019年8月入职北京大学后,他进一步拓宽和国内互联网、IT巨头(比如阿里、腾讯、华为等)的合作,并依托北京大学软件工程科研团队推进自主研发高产业影响力的软件工程系统。

—2—

热心服务广大学术社区

d64253c6e3c2859f5d754d7db9d204ae.png

在2018年中国计算机大会(CNCC)上,谢涛主持大会论坛“软件工程五十周年:路在何方”回顾了软件工程领域从1968年诞生至2018年整整50年的历史并展望未来发展方向。他虽年纪不大,但在软件工程和计算机领域的社区服务方面却堪称“老兵”。2001年读博期间,他就创建了软件工程家族树网页,收集整理出北美地区的软件工程博士导师、学生的学术家族关系。经过近20年的发展,这个家族树以及他创建的其它社区网页已经在软件工程学术界“家喻户晓”。他担任ACM历史委员会委员长达10年之久(2010-2019年),自2009年以来一直担任ACM SIGSOFT执委会委员以及历史联络员。

2618631195446b13c7634b0932590efa.png

275896d297324caa9f79e3fb6accbc58.png

计算机领域多元化(diversity)旨在提升计算机领域少数族裔(比如在美国地域的非裔、西班牙裔、印第安裔等)、女性、残障人士等在计算机领域从事人员中的占比以及扶助他们的成功。Tapia大会(全称ACM Richard Tapia Celebration of Diversity in Computing)是ACM在计算机领域多元化方面的旗帜性国际会议。2018年的Tapia大会参会人员高达逾1400人,近半数为女性,近半数为非裔、西班牙裔。他担任了这一年的Tapia大会主席。很多人都会好奇:作为一位亚裔男性(大会参会人中的极少数“异类”),他怎么会被选为大会主席?他读博期间,博士导师David Notkin教授就积极领导开展提升计算机领域女性方面的工作。受其影响,他在自己成为教授后,科研工作之余积极投入时间和精力去扶助和提升本校以及全美大量(历年累计几百人数)计算机专业少数族裔的学生,给予他们学业、研究、职场发展的指导。他还担任UIUC计算机科学系首届多元化委员会的创始主席(2018-2019年)。他在计算机领域多元化的社区服务已经持续了近15年并将继续下去。

他在国际软件工程研究领域也做了大量的服务工作,像担任《Software Testing, Verification and Reliability (STVR)》Wiley期刊的联合主编、旗帜性国际期刊杂志《IEEE Transactions on Software Engineering》、《Communications of ACM》等的编委会成员。他还被选为软件工程旗帜性国际会议ICSE 2021(CCF A类会议)的程序委员会共同主席,是该会议43届以来担任该职位的唯一具有中国教育背景的华人学者。

2f2a917d7c36519b5ebd7925713c251d.png

6f36c26db89127e752aa986cefcab00a.png

尽管过去有很大一段职场生涯在海外,他却在2014年就加入CCF并同年成为CCF软件工程专委会委员。他担任《Journal of Computer Science and Technology (JCST) 》的软件系统领域Leading Editor(2014年至今)。2020年他即将担任CCF软件工程专业委员会副主任和2020-2022年CCF-IEEE CS“青年科学家奖”奖励委员会主席(2018年起就担任委员)。他也担任ACM中国理事会奖励委员会委员(2017-2020年),以及北美计算机华人学者协会软件工程专业委员会联合主席(2018年至今)。

—3—

勤奋、聪明、智慧地工作

谢涛在2010年入选CCF “龙星计划”,是“龙星计划”史上首位软件工程领域的讲者。在为期一周的“龙星计划”课程讲授中,他不仅给学生们介绍软件工程研究的前沿技术和挑战,还毫无保留地传授做科研的方法和技能。最近他还在2019年全国软件与应用学术会议(NASAC)新教师论坛做了“漫谈青年教师的研究和职场发展规划”的主题演讲。他个人职场发展的“秘籍”可以用他给自己研究组定的组训来概括:勤奋、聪明、智慧地工作。

eb07c9cf3e8db1d5c9aaa61aa2b774be.png

7c66ef9a90d3a39560cc3bf18515e9c9.png

勤奋地工作:不管是求学还是任教他都是很勤奋地去学习和工作,通常比周围同学、同事都要更加努力。在2005年博士毕业申请教职时,一位面试他的教授笑着问他:“你博士导师的推荐信里提到你每周工作zillions of hours(数千亿小时),真的吗?”他从教后,不少软件工程界的同仁见面也会开玩笑:“你是不是不用睡觉的?”其实他是确保每天至少8小时睡眠且尽可能坚持隔天运动,只是在娱乐时间上“吝啬”一些。

47663f73ef40d713809b646359f70273.png

87003b62020cd83e721216fe9c94a78a.png

聪明地工作:在工作上他会去避免不深思熟虑而盲目使蛮力。比如在做一个研究课题时,他会先明确目标是什么,而后规划日常任务时会考虑其要耗费的人力物力开销,还要评估其能对达到目标的贡献有多大。也就是说,在工作过程中,该做什么(不该做什么)和先做什么(后做什么)他通常会用工程化思维去思考规划,综合考虑开销和收益。这样的思维方式也贯穿他的职场发展,一个人的精力和能力毕竟有限,某个阶段内不太可能有效地去追求多个大目标,这就需要目标、任务优先级排序且有取舍。

b471ed6d30ab743072030b86d10f1df1.png

智慧地工作: “聪明人”和“智者”是有区别的,他们的区别也就某种程度反映了“聪明地工作”和“智慧地工作”的区别。从中学时代起他就养成了观察、反思、总结的习惯,从自己(甚至他人)过去做某件事的成功或失败经历中来升华和抽象出规律和经验教训,并系统地条理清晰地表达出来。自然而然地,在后续自我实践中自发地去使用这些规律来复现以往类似成功经历。他个人主页上的忠告网页就分享了他历年来做研究的经验积累,广为计算机界的教师和学生阅读受益。

CCF汇聚计算机领域优秀的人才,

在CCF,你将邂逅无限的机会和可能!

和68000+CCF会员共同追求卓越!

联系我们:[email protected]

扫码加入CCF

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/weixin_34550722/article/details/118211489

智能推荐

@Transactional 注解失效的几种情况_transactional注解失效-程序员宅基地

文章浏览阅读6.8k次,点赞2次,收藏8次。第一种Transactional注解标注方法修饰符为非public时,@Transactional注解将会不起作用。第二种在类内部调用调用类内部@Transactional标注的方法。这种情况下也会导致事务不开启。既然事务管理是基于动态代理对象的代理逻辑实现的,那么如果在类内部调用类内部的事务方法,这 个调用事务方法的过程并不是通过代理对象来调用的,而是直接通过this对象来调用方法,绕过的代理对 象,肯定就是没有代理逻辑了。解决方法1.可以在service层 注入自己 用自己调用方_transactional注解失效

系统优化【3】----接口耦合优化与灾难控制-程序员宅基地

文章浏览阅读559次。接口耦合优化与灾难控制

Laravel7使用Auth进行用户认证_laravel7.x 如何使用自定义的auth进行身份验证-程序员宅基地

文章浏览阅读1.9k次,点赞4次,收藏2次。laravel7 版本移除了 auth,大家都知道以前版本是直接使用php artisan make:auth就可以使用,但是这版本不行了,那么要怎么弄呢?今天和大家说一下具体步骤。Laravel7 的 laravel/ui 包提供了一种快速方法,可以使用一些简单的命令来支持你进行身份验证所需的所有路由和视图:安装依赖包laravel/ui直接使用命令进行安装composer require laravel/ui创建auth脚手架直接使用命令进行创建#注意这里的v._laravel7.x 如何使用自定义的auth进行身份验证

golang GC相关调试参数_gogc参数-程序员宅基地

文章浏览阅读9.9k次,点赞4次,收藏12次。1. pprof生成CPU和memory profile前段时间项目中遇到golang程序的性能上不去,想要找到程序的性能瓶颈所在,使用golang自带的pprof输出cpu和mem的profile文件进行分析。具体如何生成profile文件参考如下:https://golang.org/pkg/runtime/pprof/https://blog.golang.org/profiling..._gogc参数

Shiro 自己实现登录后重新生成sessionid_shiro 登录后会修改会话id吗-程序员宅基地

文章浏览阅读2.1w次,点赞3次,收藏12次。学Spring Security来实现重新生成Session_shiro 登录后会修改会话id吗

PCIe扫盲——BDF与配置空间_pcie bdf分配-程序员宅基地

文章浏览阅读1.1k次。转:http://blog.chinaaet.com/justlxy/p/5100053262 前面的文章中介绍过,每一个PCIe设备可以只有一个功能(Function),即Fun0。也可以拥有最多8个功能,即多功能设备(Multi-Fun)。不管这个PCIe设备拥有多少个功能,其每一个功能都有一个唯一独立的配置空间(Configuration Space)与之对应。 和PCI总线一样,PCIe总线中的每一个功能_pcie bdf分配

随便推点

【python二级等考】python语言程序设计(六)_ls=[1010,1010]-程序员宅基地

文章浏览阅读1.1k次,点赞2次,收藏4次。【第六章】组合数据类型一、组合数据类型的基本概念Python语言中最常用的组合数据类型有3大类,分别是集合类型、序列类型和映射类型。集合类型是一个具体的数据类型名称,而序列类型和映射类型是一类数据类型的总称。集合类型是一个元素集合,元素之间无序,相同元素在集合中唯一存在。序列类型是一个元素向量,元素之间存在先后关系,通过序号访问,元素之间不排他。序列类型的典型代表是字符串类型和列表类型..._ls=[1010,1010]

世界人工智能大会:互联网大佬透露了那些信息_人工智能 noip-程序员宅基地

文章浏览阅读4.9k次。近日,第三届世界人工智能大会(WAIC)在上海召开,本次大会以“智联世界,共同家园”为主题,线下云端同步进行。此次开幕式由演讲、对话和发布活动组成。多位商界领袖、行业专家对于人工智能发表了自己的观点与见解。华为陶景文:人工智能以及数字技术将催生12万亿美元市场“随着5G、AI、产业互联网等技术的不断成熟,以及数据中心、云等新一代基础设施的加速建设和推进,第四次工业革命已经到来。”7月9日,华为公司副董事长兼CIO陶景文在2020世界人工智能大会上表示,技术正在加速第四代工业互联网在万物互联、万物智能以_人工智能 noip

module 'scipy.misc' has no attribute 'toimage',python_module ‘scipy.misc‘ has no attribute ‘toimage‘-程序员宅基地

文章浏览阅读4.1k次。anaconda环境下:错误:python 命令行运行出错:module ‘scipy.misc‘ has no attribute ‘toimage‘解决:打开Anaconda prompt,输入:conda install pillow 即可解决_module ‘scipy.misc‘ has no attribute ‘toimage‘

MySQL高可用MMM架构集群_mmm集群,三主三从-程序员宅基地

文章浏览阅读705次。简介:MMM也就是Master-Master replication Manager for MySQL,MySQL主主复制管理器。关于MySQL主主复制配置的监控,故障转移和管理的一套可伸缩的脚本套件,可以用这个套件在一组居于复制的服务器启动虚拟IP,除此以外,还有对从服务器的延迟监控,主从数据备份,节点之间重新同步功能。通过MMM方案可以实现MySQL服务器的故障转移,从而实现MySQL的..._mmm集群,三主三从

ANDROID HALL KEY DEMO以及SC6820实现-程序员宅基地

文章浏览阅读779次。1.HALL开关原理及手机应用 手机中HALL传感器由一个开关型HALL元件和两个电源开关控制管组成。其导通与否完全受到手机CPU输 出的HALL高电平信号控制,电源则来自于电池。当翻盖合上时装在翻盖中的磁铁的磁场作用于HALL传感器 (一般翻盖/折叠手机都把磁铁安装在翻盖上),HALL电路中的三极管导通,从传感器的引脚输出低电平,如果是在通话后则作为“_android hall

部署web服务时报错java.lang.ClassNotFoundException: com.mysql.cj.jdbc.Driver_中创中间件版本错误-程序员宅基地

文章浏览阅读372次。在java项目中报错上述错误不过多阐述没有导入mysql-jdbc的包 版本错误(com.mysql.jdbc.Driver与com.mysql.cj.jdbc.Driver) 使用DBconfig.properties形式连接数据库,在文件中不需要写“ ”,也不要加空格(driver=com.mysql.cj.jdbc.Driver)在web项目中使用到了连接数据库报上述错误:..._中创中间件版本错误

推荐文章

热门文章

相关标签