成电讲堂

　　7月7日，由人力资源部教师发展中心主办，计算机科学与工程学院（网络空间安全学院）承办的“学者论坛”，邀请到上海财经大学理论计算机中心主任、华为理论计算机实验室主任陆品燕教授为师生带来题为“理论计算机”的主题报告，并进行了深入交流探讨。本次学者论坛由计算机科学与工程学院副院长肖鸣宇教授主持。

　　陆品燕教授从“计算的能力与极限”这个主题切入，首先介绍了什么是理论计算机，它的基本愿景和核心目标是什么。接着以NP完备理论为基础，深入浅出的介绍了可计算性理论，并且延申到复杂性理论、机器学习理论以及密码学理论。陆品燕教授以他在工业界的经验，向大家介绍了计算机理论与应用的关系以及一个理论结果的正确使用方式。他还介绍了理论计算机与其他学科交叉的前沿，包含了理论计算机与数学、自然科学（物理）、社会科学（经济学）的关系和深刻联系。

　　参会师生就理论计算机的主题与陆品燕教授进行了交流和讨论。

　　相关链接：

　   陆品燕，上海财经大学教授，理论计算机科学研究中心主任，国家级人才计划入选者，2009年1月于清华大学计算机系获博士学位后加入微软亚洲研究院，2015年12月全职加盟上海财经大学，领衔组建理论计算机科学研究中心（ITCS），经过四年多时间建设，他的研究中心在CSRankings上算法与复杂性方向已经排到亚洲第一名、全球前十。他的主要研究方向是理论计算机，并注重与其它学科的交叉，在理论计算机的三大会议STOC/FOCS/SODA共发表论文29篇，荣获ICALP2007、FAW2010、ISAAC2010等重要国际会议最佳论文奖，担任FAW-AAIM 2012、WINE 2017、FAW 2018、ISAAC 2019等国际会议程序委员会联合主席，以及多次担任STOC、FOCS、SODA等顶级国际会议的程序委员会委员，曾荣获ACM杰出科学家奖（2019）、第八届世界华人数学家大会ICCM数学奖（原晨兴数学奖）银奖（2019）、中国计算机学会青年科学家（2014）、微软学者（2008）、清华大学特等奖学金（2007）等荣誉。