您现在的位置: 首页 » 公司新闻 » yl9193永利官网 » 正文

公司新闻

yl9193永利官网

2021年12月27日,中国计算机学会(CCF)评选出9位2021年度CCF会士,永利集团讲席教授谢涛成功入选,入选理由:在软件测试技术和软件解析研究方面取得了重要成果,并为CCF学术交流做出了重要贡献。



谢涛,永利集团讲席教授,高可信软件技术教育部重点实验室(yl9193永利官网)副主任,yl9193永利官网新工科建设委员会副秘书长。当选美国科学促进会(AAAS)会士,电气电子工程师学会(IEEE)会士,美国计算机协会(ACM)杰出科学家,中国计算机学会(CCF)会士。曾获科学探索奖,国家自然科学基金委海外杰出青年科学基金以及其延续资助,美国NSF Faculty CAREER Award,ACM SIGSOFT杰出服务奖,IEEE计算机协会软件工程技术委员会(TCSE)杰出服务奖,ASE 2021最有影响力论文奖等。担任CCF软件工程专委会副主任,CCF-IEEE CS青年科学家奖评奖分委员会主席,中国计算机大会(CNCC 2020)程序委员会主席,软件工程旗舰国际会议ICSE 2021程序委员会共同主席,《软件测试、验证与可靠性(STVR)》Wiley期刊联合主编等。主要研究领域包括软件工程,系统软件,软件安全,可信人工智能。



CCF从2008年起设立会士制度,旨在表彰在计算机领域取得卓越成就或为CCF做出突出贡献并有连续五年及以上会龄的CCF杰出会员。会士是会员在CCF的最高学术荣誉,目前,CCF会士人数150人,占专业会员人数的0.32%。


来源:https://www.ccf.org.cn/Focus/2022-01-07/752775.shtml

来源:https://www.ccf.org.cn/Membership/Individual_member/Honor/2021-07-21/671453.shtml