亚愽全站

报告题目：计算机辅助下的网络编码问题研究(On Computer Aided Research for Network Coding Problems)

报告时间：2021/06/08  10:00-11:30

报告地点：亚愽全站雁塔校区雁博园4楼

报告摘要:

随着算力的发展，计算机在越来越多的领域以各种方式帮助人类解决各类问题。然而在许多需要人类想象力与创造力的领域，计算机仍难以发挥足够的作用，例如传统的信息论理论研究领域。鉴于这一现状，Texas A&M大学的田超提出了利用电脑辅助计算网络编码的可达速率外边界问题的突破性发展，并获得了2014年ComSoc最佳论文奖。报告人自2014年师从田超教授以来，一直从事着利用计算机辅助信息论的研究工作。本次报告将介绍计算机辅助网络编码研究的相关历史工作，以及将其应用在编码缓存（Coded Caching）以及分布式计算编码（Coded Distributed Computation）问题中的相关最近工作。

With the development of its computation capability, computers have taken part in various of areas to help people solving problems. However, in many areas that have strong need of human’s imagination and creativity, computer still can do very limited jobs, such as the traditional theoretic research in information theory. Considering this annoying fact, Dr Chao Tian with Texas A&M University raised a break through result in computer aided proof for the converse theories in networking coding, and won the best paper award of ComSoc in 2014. The reporter has worked on the problems of computer aided research in network coding with Dr Chao Tian since 2014. This report will show the historical development of computer aided information theoretic research, as well as the latest results in Coded Caching problems and the Coded Distributed Computation problems.

报告人简历:

邵硕，上海交通大学网络空间安全学院。于2011年在东南大学获信息工程学士学位，2013年获加拿大麦克马斯特大学电子与计算机工程硕士学位，并于2017年获美国德克萨斯A&M大学电子工程博士学位。 2017年加入上海交通大学，担任助理教授，2020年至今担任副教授。他主要研究方向为信息论，网络编码，机器学习等，在相关领域发表会议、期刊论文20余篇，其中包括Transaction on Information Theory, Transaction on Communications, AAAI 等领域顶尖期刊、会议。