報告題目：理論計算機
報告時間：2022年4月16日，13:30
報告方式：騰訊會議
會 議 碼：524-553-120
報 告 人：陸品燕
報告人簡介：
上海财經大學信息學院教授，理論計算機科學研究中心主任。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）等榮譽。
報告内容簡介：
理論計算機是整個計算機學科的數學基礎，也是計算機學科分支中非常特别的一個。本次講座将簡要介紹什麼是理論計算機科學，它的基本願景和核心目标是什麼，并讨論計算機理論與應用的關系以及一個理論結果的正确使用方式。同時理論計算機也處在計算機科學與其他學科交叉的前沿，講座将讨論理論計算機與數學、自然科學（物理）、社會科學（經濟學）的關系和深刻聯系。
主辦單位：伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
伟德国际BETVlCTOR計算機科學技術研究所
符号計算與知識工程教育部重點實驗室
仿真技術教育部重點實驗室
網絡技術及應用軟件教育部工程研究中心
伟德国际BETVlCTOR國家級計算機實驗教學示範中心
