澳门bet356体育在线官网线上学术报告会（2020年11月14日）

报告题目1：奇偶博弈及其结构

报 告 人：林惠民  中国科学院院士 中国科学院软件研究所研究员

报告时间：2020年11月14日（星期六）上午 9:00-9:45

腾讯网络会议号：623 386 566

 专家简介：林惠民， 1947年11月13日出生于福建福州，计算机软件与理论专家，中国科学院院士，中国科学院软件研究所研究员、博士生导师。

1982年林惠民从福州大学计算机科学系毕业^]  ；1986年获得中国科学院软件研究所博士学位后留所工作，历任助理研究员、副研究员、研究员、博士生导师；1986年至1987年在英国爱丁堡大学计算机科学基础实验室从事博士后研究；1990年至1993年担任英国萨塞克斯大学Research Fellow  ；1999年当选为中国科学院院士  ；2008年当选为第一届中国计算机学会会士 。

林惠民长期从事计算机程序的形式语义学及形式化方法的研究 。

报告题目2：超越经典算法的人工智能

报 告 人：王怀民  中国科学院院士  国防科技大学教授

报告时间：2020年11月14日（星期六）上午 9:50-10:35

腾讯网络会议号：623 386 566

    专家简介：王怀民，国防科技大学教授，中国科学院院士，中国计算机学会会士，国家高层次人才，曾任国防科技大学副校长兼教育长。长期从事分布计算理论、技术与系统研究，在大规模网络化软件资源、计算资源与智力资源的高效互联与汇聚方面做出系统性和创造性成果，获国家科技进步特等奖1次、国家技术发明二等奖1次、国家科技进步二等奖2次、国家教学成果二等奖2次，发表论文200余篇，获授权发明专利43项。

报告题目3：大图数据：挑战与机会

报 告 人：FAN WENFEI樊文飞 中国科学院外籍院士 英国爱丁堡大学教授 深圳计算科学研究院首席科学家

报告时间：2020年11月14日（星期六）上午 10:55-11:40

腾讯网络会议号：623 386 566

报告摘要：大数据的典型特征是4V：容量、速度、准确性和价值。当处理大图数据时，这些挑战变得更加惊人。目前，大图数据计算中的一些关键科学问题仍然悬而未决。并行处理技术是否足以支撑处理大量的大图数据？当使用更多的计算机处理大量的大图数据时，可保证减少运行时间吗？是否可以在有限的计算机和存储资源下查询处理大量的大图数据？有没有系统的技术方法开发有效的增量计算机算法来响应频繁的大图数据的更新？是否可以在SQL等数据库语言中统一查询处理关系数据库和关系图？如何统一逻辑规则和机器学习模型，以提高图结构的大数据的质量？本报告旨在激发人们对这些大图数据研究话题的兴趣，并提出尽可能多的关键技术问题。

专家简介：FAN WENFEI（樊文飞），英国爱丁堡大学信息学院主任教授，中国科学院外籍院士， 英国皇家学会院士、 欧洲科学院院士、英国爱丁堡皇家学会院士、美国计算机协会会士（ACM Fellow)。深圳计算科学研究院首席科学家、 北京大学深圳研究生院南燕荣誉教授、清华大学杰出客座教授。

毕业于北京大学（本科，硕士）和美国宾夕法尼亚大学（博士），任职爱丁堡大学前为美国贝尔实验室科学家。

FAN WENFEI（樊文飞）教授曾获得英国皇家学会Wolfson研究成果奖(2018)、欧洲研究委员会ERC Advanced Fellowship (2015）、 英国 Roger Needham 奖（2008）、国家高层次人才 (2007),美国 CAREER Award（2001）,Elsevier网络科学刊物年度最佳论文和最杰出作者奖（2002）以及数据管理四大国际顶级理论与系统会议的时间检验奖和最佳论文奖: Alberto O. Mendelzon 时间检验奖/ACMPODS十年最佳论文奖 (2010和2015), ACM SIGMOD (2017)、VLDB（2010）和 ICDE（2007）最佳论文奖。 目前主要研究领域为数据库理论与系统， 包括大数据、数据质量、分布式计算、查询语言、推荐系统和社会网络精准营销。 

欢迎广大师生参加！

best365在线官网登录入口澳门bet356体育在线官网

2020年11月9日