中国计算机学会（CCF），成立于1962年，是全国一级学会、独立社团法人、中国科学技术协会成员。

中国计算机学会是中国计算机及相关领域的学术团体，宗旨是为本领域专业人士的学术和职业发展提供服务；推动学术进步和技术成果的应用；进行学术评价，引领学术方向；对在学术和技术方面有突出成就的个人和单位给予认可和表彰。

作为中国计算机学会的重要分支机构之一，中国计算机学会理论计算机科学专业委员会成立于1983年，旨在促进计算机科学理论的普及和推广，促进全国范围内的学术交流。

目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。

2019年全国理论计算机科学学术年会（NCTCS 2019）当中，官方公布了新一届委员会名单，Conflux研究总监杨光博士当选2019年中国计算机学会理论计算机科学专业委员会委员。

2006年获中国数学奥林匹克竞赛金牌保送至清华大学数理基础科学班，次年加入姚班的杨光，2010 年本科毕业后进入清华大学交叉信息研究院深造，并于 2016 年 1 月获得计算机科学博士学位。

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

加入Conflux之前，杨光博士曾先后在丹麦奥胡斯大学交互计算实验室、中国科学院计算技术研究所等世界顶级研究机构从事理论研究工作。

截至目前杨光博士已在 CRYPTO、CCC、TCC、ICALP、AAMAS、SAGT 等国际会议发表了论文十余篇。

之所以选择加入理论计算机科学专业委员会，杨光博士表示，区块链本身即是一种新的计算模型，其中有很多非常基础的理论问题有待解决。

理论计算机科学中很多例如零知识证明、概率可验证证明、可验证计算、以及博弈论的激励机制设计和分析方法等经典的结果，他希望能应用于区块链领域。

在区块链的发展已经触及当今学术研究最前沿的今天，需要更多的理论计算机科学方面的人才加入进来，一起推动整个区块链行业的发展。

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

例如我们比较熟悉的姚期智先生、Silvio Micali 教授、以及 RSA 的三个发明者都是理论计算机科学家。

实际上，理论计算机领域内的最高奖哥德尔奖有接近一半的获奖成果都与密码学有关。

加入理论计算机科学专业委员会后，杨光博士希望能够与委员会内的其他成员加强沟通，让自己在理论研究层面更上一层楼。