Conflux研究总监杨光博士当选中国计算机学会理论计算机科学专业委员会委员

2020-06-03

以为本领域◤专业人士的学术和职业发展提供服务;推动学术进步和技术成果的应用;进行学术评价,引领学术方向;促进技术和产业◈应用一线的÷交流和互动;┄┅对在学术和技术方面有突出成就的个人、企业和单位给予认可和表彰为宗旨的中国计算机学会(CCF),成立于1962年,是全国一级学会、独立社团法人、中▌国科学技术协会成员。

作为中国计算机学会的重要分支机构之一,中国计算机学会理论۩计算机科学专业委员会成立于198υ3年,旨在促进◎计算机科学理论的普及〩和推广,促进全国范围内的⊙学术交流,目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。

2019年全国理论ⓔ计算机科学学术年会(NCTCS 2019)当中&,◀官方公布了新一届委员会名单,其中Conflux研究总监杨光博士当选2019年中国计算机学会理论计算机科学‖∠专业委员会委员。2006年获中国数学奥林匹克竞赛金牌保送至清华大☞学数理基础科学班,次年加入姚班的杨光Я,201┍0 年本科毕⿻业后进入清华大学交叉信息研究院深造,并于 2016 年 1 月获得计算』机科学博士学位。

攻读博士学位期间,杨光的۞主要研究方向为密码学基础与计算复杂性,博士论文获得了中国密码学会优秀博士学位论文奖。并且在访问以色列理工学院(Teㄨchnion)期间完成的关于非々交互▒式零知识概率可验证证明(NIZKPCP)的Ⅸ成果也获得⊿了包括Eli Ben-Sasson教授(zk-SNARK 和 zk-STARK ☑的主要发明者)等国际同行的引用和认可。

加入C№onflux之前,杨光博◐士曾先后在丹麦奥胡斯大学交互计算│┃实验室、中╤国科学院计算技术研究所等世界顶级研究机构从事理论研究工作,截至目前杨光博士已在 CRYPTO、≈CCC、TCC、ICALP、AAMAS、SAGT 等国际会议发表了论文十余я篇。

之所以选择加入◈●·理论计算机科学专业委⊙员会,杨光博士表示ぷ,首先,区块链本身即是一种新的计算模型,其中有很多非常基础的理论问题有待解决。其次,理论计算机科学中很多例如零知识证明、∞概率可验证证明、可验证计算、以及博弈论≠※的激励机制设计和分析方法等经典的结果,我们希望能应〓用于区块链领域。在区块链的发展已经触及当今学术研究最前沿的今天,我们需要更多的理论计算机科学方面的人才加入进来,一起推动整个区块链行业的╟发展。

事实上,现代密码学‰就是建立在理论计算机科学中的计算复杂性理论基础之上的,这两个学科的联系非常紧密,很多杰出的密码学家同时也是理论计算机科学家。‖

例如我们比较熟悉的姚期∑智先生⿶、Silvio Micali 教授、以及 RSA 的三个发明者都是理论计算机科学家。实际上,理论计算机领域内的最高奖哥德尔奖*有接近一半的获奖成果都与密码学有关。加入理论计算机╪科学专业委员会后,我希望能够与委员会内的其他成员加强沟通Л,让自己在理论研究层面∽更上一层楼。

来源:http://shangjie.lnd.com.cn/shenghuo/2019-08-13/280113.html

󰄯 分享