尹一通，男，1981年7月生于辽宁沈阳。2009年获耶鲁大学计算机科学系理学博士学位，师从James Aspnes教授。2012年在威斯康星大学麦迪逊分校作访问学者。现为南京大学副教授、博士生导师。研究领域是理论计算机科学，其中包括数据结构复杂性、计数算法及随机算法等。主要学术贡献是：（一）在国际上率先研究了数据结构的非确定复杂性，解决了1999年提出的数据结构复杂性领域的6个未决问题中的第5问题——非确定数据结构难解问题的存在性，并且证明了迄今为止人们发现的几乎所有的数据结构复杂性下界都同时对非确定复杂性成立。（二）在近似计数算法方面，与他人合作，针对一系列最根本的计数问题，包括：2元布尔约束问题、独立集、图着色、图同态等，得到了理论上最优或者迄今为止其性能最好的算法结果。大部分成果发表在理论计算机科学领域所公认的国际一流学术会议和期刊上，获得多位著名学者的引用和ACM SIGACT News评论。2010年获得教育部新世纪优秀人才支持计划奖励。
2014年获年获中创软件人才奖。
李东升，男，1978年12月生于安徽桐城。2005年获国防科技大学计算机科学与技术专业博士学位，师从卢锡城教授。现任国防科技大学教授、博士生导师，并行与分布处理国家级重点实验室副主任。主要研究领域为分布式计算和大规模数据处理等。在高性能数据中心体系结构和系统优化、大规模分布计算资源的聚合管理等方面取得创新突破，主要研究成果发表在《中国科学》、IEEE/ACM Transactions、USENIX ATC、NSDI、Eurosys、VLDB、IEEE INFOCOM等学术刊物和会议上，部分成果被国际同行学者写入其专著或教材，受到ACM TechNews、HPC Wire和ZDNet 等国际IT媒体报道，并在国家和军队重要业务中得到成功应用。获国家科技进步二等奖一项、湖南省自然科学奖一项，2016年获中国青年科技奖。是全国优秀博士学位论文、国家优秀青年科学基金、教育部新世纪人才、霍英东青年教师基金获得者。
2014年获年获中创软件人才奖。
詹乃军，男，1971年5月生于河南固始。2000年获中国科学院软件研究所计算机软件和理论博士学位，师从周巢尘研究员。现为中国科学院软件研究所研究员、中国科学院大学岗位教授、计算机科学国家重点实验室副主任、博士生导师。主要研究实时和混成系统形式设计、 程序验证 、 模态和时序逻辑、构件和对象系统理论等。在程序验证方面，将符号计算方法应用到多项式程序验证的不变量生成和秩函数的发现，提出一种完备且高效的多项式不变量和秩函数生成方法；利用半定规划理论，首次给出了非线性Craig插值生成方法，解决了程序验证中的一个难题；在嵌入式系统规范理论及验证等方面做出系统性的工作，包括：定义工业界广泛使用的建模语言Simulink/Stateflow的形式语义；提出混成Hoare逻辑；提出一系列混成系统不变量生成方法，解决该领域中的若干难题；首次提出带时延微分方程和混成系统的稳定性分析和自动验证方法。主要成果发表在CAV等著名会议及 Information and Computation等重要期刊上。主持了国家自然科学基金重点项目等。现任《Formal Aspects of Computing》、《计算机研究与发展》、《软件学报》的编委。
2014年获年获中创软件人才奖。