人工智能实验班｜师资一览

上海财经大学计算机与人工智能学院院长，计算经济交叉学科教育部重点实验室创始主任，理论计算机科学研究中心创始主任，曾获第八届世界华人数学家大会ICCM数学奖银奖、ACM杰出科学家奖、中国计算机学会青年科学家、上海市先进工作者等荣誉，曾担任FAW-AAIM 2012、WINE 2017、FAW 2018、ISAAC 2019等国际会议程序委员会联合主席，并多次担任STOC、FOCS、SODA等顶级国际会议的程序委员会委员。担任拥有50余年历史的理论计算机国际旗舰期刊《Theoretical Computer Science》的主编。主要研究方向是算法机制设计、计数问题的复杂性和近似性，在理论计算机三大会议STOC/FOCS/SODA共发表论文30余篇，在计算经济学两大顶级会议EC/WINE共发表论文20余篇，荣获ICALP2007、FAW2010、ISAAC2010、AAMAS2024等重要国际会议最佳论文奖。

上海财经大学计算机与人工智能学院长聘副教授、副院长。本博分别毕业于北京大学与香港大学，主要从事理论计算机科学与计算经济学的交叉研究，聚焦非完全信息环境下的算法设计理论，研究领域涵盖在线算法、算法博弈论等。学术成果发表于Journal of the ACM (JACM)、SIAM Journal on Computing (SICOMP)等计算机理论顶刊，并在理论计算机科学三大顶级会议STOC/FOCS/SODA及计算经济学领域旗舰会议EC/WINE累计发表论文20余篇。现任上海市计算机学会理论计算机科学专业委员会副主任、中国计算机学会（CCF）理论计算机科学专业委员会副秘书长。曾获罗马尼亚数学大师赛冠军。

博士毕业于香港中文大学，其后于加拿大滑铁卢大学任职博士后，现任上海财经大学计算机与人工智能学院副教授。研究兴趣为理论计算机科学，具体方向为算法、谱图论。在 JACM, SICOMP, STOC, FOCS 等理论计算机国际著名期刊及会议发表论文多篇。曾获国际数学奥林匹克竞赛 (IMO) 银牌。

上海财经大学计算机与人工智能学院长聘教授。获双博士，数学博士获得于俄罗斯科学院斯捷克洛夫数学研究所圣彼得堡分所，计算机科学博士获得于新加坡南洋理工大学。曾于美国微软研究院新英格兰实验室和麻省理工任博士后研究员。研究兴趣涵盖理论计算机科学、离散数学与概率论领域。曾获国际数学奥林匹克金牌。

上海财经大学计算机与人工智能学院副教授。本科毕业于中国地质大学（北京）地球物理专业，博士毕业于纽约州立大学布法罗分校基础数学专业。曾在新加坡科技与设计大学从事博士后研究工作，研究方向为机器学习、博弈论、流形上的优化，成果发表于ICML、NeurIPS、ICLR等顶级计算机会议。

上海财经大学计算机与人工智能学院长聘副教授。本博分别毕业于清华大学和美国康奈尔大学。2016至2020年任加拿大英属哥伦比亚大学(University of British Columbia)计算机科学系助理教授。曾任加州理工大学博士后研究员和微软研究院新英格兰实验室博士后研究员。曾任ACM SIGecom Exchanges主编，WINE '21程序委员会主席等。学术成果发表于STOC、FOCS、SODA、EC等顶级计算机会议和Operations Research，Journal of Economic Theory等国际著名期刊。

上海财经大学计算机与人工智能学院党总支书记、教授、CCF杰出会员、形式化方法专委会常委委员。曾任上海市计算机学会理论专委会主任、华东师范大学软件工程学院教授及副院长、上海市高可信计算重点实验室主任、上海交通大学计算机系副教授、联合国教科文组织借调专家、美国卡内基梅隆大学访问学者。主要研究方向包括并发计算模型、程序理论、量子计算，代表性工作包括一个已经被国外学者写进教科书的“邓引理”(Deng Lemma)和关于概率并发理论的一部英文专著《Semantics of Probabilistic Processes: An Operational Approach》。发表学术论文100余篇，多篇出现在国际权威期刊和会议如Information and Computation、Theoretical Computer Science、ICALP、LICS、POPL等。曾为CONCUR 2018作特邀报告。担任国际期刊Theoretical Computer Science、Scientific Annuals of Computer Science编委，TASE 2016程序委员会共同主席，在40余次国际会议中任程序委员会委员，其中包括 CAV、LICS等。曾获2024年中国计算机学会自然科学二等奖、SETTA 2024最佳论文奖。已出版1部教材《函数式程序设计》。