一、专业概况

本方向依托四川大学数学学院"数学"（0701）一级学科博士点及博士后科研流动站，以及计算机学院"计算机科学与技术"（0812）一级学科博士点，计算机科学理论为数学与计算机科学深度交叉的核心研究方向，涵盖计算复杂性理论、算法设计与分析、形式化方法与程序验证、逻辑与自动推理、密码学基础理论、量子计算与量子信息、组合优化与图论、机器学习理论、信息论与编码理论、可计算性理论等研究领域。面向人工智能基础理论突破、后量子密码迁移、量子计算优越性验证、可信软件形式化验证、算法公平性与可解释性理论、数据隐私理论基础等国家重大战略需求，融通数理逻辑、离散数学、抽象代数、拓扑学、泛函分析、概率论、范畴论等纯数学分支与理论计算机科学核心体系。四川大学数学学院始建于1950年，由华西大学、四川大学等校数学系合并组建，柯召院士、李国平院士、张鼎铭教授等曾在此任教；拥有"数学"和"统计学"两个一级学科博士点，"数学"为国家"双一流"建设学科、A类学科、国家一级重点学科，在教育部第五轮学科评估中获评A-；建有"国家应用数学中心""高等学校学科创新引智计划（111计划）基地"等国家级平台。计算机学院拥有"计算机应用技术"国家重点学科，依托学院建有"算法模型"全国重点实验室。两院协同构建了国内罕见的"纯数学理论+计算复杂性+形式化验证+算法工程"四位一体计算机科学理论研究生态。推免拟招8–15人（含直博），欢迎数学、计算机科学、软件工程、电子信息、物理学等专业学生申请，有ACM/ICPC竞赛区域赛及以上获奖、理论计算机顶会（STOC/FOCS/SODA/ICALP/LICS/POPL/CAV）论文发表或投稿经历、形式化验证工具（Coq/Isabelle/Lean/TLA+）使用经验、密码学/量子计算课程项目突出者优先。

二、核心优势

（一）朱允宏教授领衔：国家杰青/长江学者与高维统计学习理论。 以朱允宏教授（博士生导师、四川大学数学学院院长、国家杰出青年科学基金获得者、教育部长江学者特聘教授、四川省学术和技术带头人）为代表，长期从事大数据统计分析、变量选择、降维方法、高维统计学习理论等方面的研究，主持国家自然科学基金重点项目等多项国家级重大项目，获教育部自然科学奖一等奖（排名第一）。其研究将统计学习理论与高维优化算法深度融合，在稀疏估计、非凸优化收敛性分析、随机算法复杂度等方面形成了"统计理论→算法设计→复杂度分析→大规模实现"全链条研究范式，为计算机科学理论方向提供了统计学习与优化理论的国家级标杆。

（二）彭玺教授领衔：国家级领军人才与表示学习/可微编程基础理论。 以彭玺教授（博士生导师、国家级领军人才、四川大学人工智能学院副院长主持工作）为代表，2023年入选国家级领军人才，2024年11月至2026年4月任工程数值模拟基础算法与模型全国重点实验室副主任。主要研究方向为表示学习、可微编程及其在多媒体计算、视觉计算与自然语言处理等领域的应用。其研究从理论层面探索深度学习的表示能力边界、可微程序的语义正确性、神经符号系统的形式化基础，为计算机科学理论方向提供了"深度学习理论→可微编程语义→神经符号融合→AI基础理论"新兴理论增长极。

（三）唐明洁特聘研究员领衔：SIGMOD Research Highlight Award与数据系统理论基础。 以唐明洁特聘研究员（美国普渡大学博士、师从IEEE Fellow Walid Aref与ACM/IEEE Fellow Elisa Bertino、曾任微软研究院/IBM研究院/Cloudera研究院/蚂蚁金服美国硅谷研究院研究员）为代表，现任智能数据系统实验室（IDS Lab）负责人。在SIGMOD、VLDB、ICDE、TKDE、ICML等国际顶级会议和期刊发表论文40余篇，其中CCF-A类一作/通讯作者论文20余篇，代表作GPTuner获SIGMOD Research Highlight Award（西部地区首篇获奖论文），2026年在ICML发表Spotlight论文。其研究从系统理论层面探索分布式训练的最优调度策略、数据库查询优化的代价模型理论、大模型微调的参数效率理论边界，为计算机科学理论方向提供了"系统理论→算法优化→理论-实践闭环"独特研究出口。

（四）刘应安教授领衔：国家杰青/长江学者与生物统计因果推断理论。 以刘应安教授（博士生导师、国家杰出青年科学基金获得者、教育部长江学者特聘教授、国务院政府特殊津贴专家）为代表，长期从事生存分析、纵向数据分析、因果推断、缺失数据处理等统计理论研究，主持国家自然科学基金重点项目等多项国家级重大项目，获教育部自然科学奖二等奖（排名第一）。其研究在因果推断的识别条件、半参数效率理论、非参数检验渐近性质等方面做出了系统性贡献，为计算机科学理论方向提供了"因果理论→统计效率→算法实现→医学验证"交叉理论支撑。

（五）周晓华教授领衔：美国ASA/IMS双Fellow与国际统计理论顶尖影响力。 以周晓华教授（博士生导师、美国华盛顿大学生物统计系终身教授、美国统计协会（ASA）Fellow、国际数理统计学会（IMS）Fellow）为代表，长期担任四川大学数学学院客座教授/兼职博导，在诊断试验评价理论、缺失数据机制、因果推断识别、临床试验最优设计等领域享有国际声誉。其研究为计算机科学理论方向提供了"国际前沿理论→中国问题适配→高水平理论合作"桥梁，使川大在统计理论与算法理论交叉领域保持国际同步水平。

（六）"算法模型"全国重点实验室与数学A类学科双轮驱动。 四川大学数学学院拥有"数学"国家"双一流"建设学科、A类学科、国家一级重点学科，在教育部第五轮学科评估中获评A-，建有"国家应用数学中心""高等学校学科创新引智计划（111计划）基地""四川国家应用数学中心"三大国家级平台。计算机学院依托"算法模型"全国重点实验室，聚焦算法基础理论与模型实现。两大平台协同，为计算机科学理论方向在复杂性理论、算法设计、形式化验证、量子计算、密码学基础等纯理论方向提供了"数学根基→算法创新→理论验证→工程落地"完整支撑链。数学学院基础数学方向拥有李洪涛教授（国家优青、代数几何）、胡兵教授（复几何/微分几何）、陈柏辉教授（偏微分方程/几何分析）等纯数学名家，为理论计算机研究提供了深厚的代数、几何、分析基础。

（七）理论计算机顶会突破潜力与成渝基础研究高地。 四川大学在理论计算机顶会（STOC/FOCS/SODA/ICALP/LICS/POPL/CAV）上尚处积累期，但凭借数学A类学科的深厚根基、国家杰青/长江学者领衔的统计学习与优化理论团队、国家级领军人才领衔的AI基础理论团队、SIGMOD Highlight Award获得者的系统理论支撑，具备了在理论计算机顶会上实现突破的坚实基础。成都正加快建设具有全国影响力的科技创新中心，2026年APEC数字和人工智能部长会议在成都召开，成渝携手冲刺全国AI"第四极"。天府实验室、中科院成都分院、中国工程物理研究院、华为成研所等单位对理论计算机人才需求旺盛。毕业生广泛进入顶尖高校与科研院所（清华/北大/中科院/上海交大/浙大/港中文深研院）、科技巨头研究院（华为诺亚/阿里达摩院/腾讯AI Lab/百度研究院/字节AILab）、量子计算企业（本源量子/国盾量子/启科量子/玻色量子）、密码与安全企业（卫士通/三六零/奇安信/深信服）、金融科技（蚂蚁/微众/度小满）、形式化验证与EDA（华大九天/概伦电子/芯华章）等单位，在理论研究员、算法科学家、密码学家、量子算法工程师、形式化验证工程师、AI基础理论研究员等岗位具有显著竞争力。

三、辅导体系

绩点提升： 强化计算理论、算法设计与分析、数理逻辑、抽象代数、实分析/泛函分析、概率论与测度论、学术写作与Journal of the ACM/SIAM Journal on Computing/Theory of Computing/Information and Computation/Logical Methods in Computer Science及STOC/FOCS/SODA/ICALP/LICS/POPL/CAV/NeurIPS/ICML等顶会文献精读；训练数学证明（归纳法/对角线法/归约/概率方法/代数方法）、形式化验证工具（Coq/Isabelle/Lean/TLA+/Dafny）、算法实现与复杂度实验验证、LaTeX学术写作、理论计算机英语表达全流程技能。

科研与项目辅导： 引导选择面向后量子密码的格密码/编码密码安全性证明与攻击复杂度分析、量子算法设计与量子优越性验证的理论边界、深度学习表示能力与泛化误差的理论刻画、可微编程语言的类型系统与语义正确性证明、分布式共识协议的异步模型下界与最优算法、图算法的近似比改进与硬度结果、因果推断的识别条件与半参数效率理论、差分隐私的最优机制设计与效用-隐私权衡理论、形式化验证在操作系统内核/智能合约/安全协议中的应用、组合优化问题的参数化复杂度与核化算法、在线学习与后悔界改进、神经符号系统的逻辑一致性与表达能力理论等前沿议题，完成"问题定义→理论建模→定理陈述→证明构造→反例/下界分析→顶会/顶刊论文撰写"全流程闭环。

面试突破： 针对学科定位（计算机科学理论与计算机软件与理论、计算机应用技术方向的区别——本方向侧重纯理论证明与数学工具，而非系统实现或应用开发）、经典理论（P vs NP/NP完全性/空间复杂度/电路复杂度/通信复杂度/查询复杂度/流算法/在线算法竞争比/近似算法PCP定理/唯一博弈猜想/随机算法去随机化/零知识证明/同态加密/量子纠错/拓扑量子计算/λ演算/类型论/Hoare逻辑/模型检测/时序逻辑LTL/CTL/范畴论与函子/信息论Shannon熵/Kolmogorov复杂度等）、顶会解读、证明思路复盘、"十五五"趋势（AI基础理论/后量子密码标准化/量子计算优越性/可信AI理论/算法公平性理论/数据隐私理论/形式化验证工业化/理论计算机中国学派）、川大平台契合度（数学A类学科/国家双一流/国家杰青朱允宏/国家杰青刘应安/ASA Fellow周晓华/国家级领军人才彭玺/SIGMOD Highlight唐明洁/算法模型全国重点实验室/国家应用数学中心/成渝AI第四极）、科研伦理（理论工作的严谨性与完整性/证明的可检验性/学术诚信/优先权尊重/开放科学与预印本/知识产权/国防涉密保密）等高频追问专项模拟。

四、结语

本方向以数学A类学科、国家"双一流"建设学科与国家一级重点学科为根基，以朱允宏教授国家杰青/长江学者与高维统计学习理论、彭玺教授国家级领军人才与表示学习/可微编程基础理论、唐明洁特聘研究员SIGMOD Research Highlight Award与数据系统理论、刘应安教授国家杰青/长江学者与因果推断理论、周晓华教授美国ASA/IMS双Fellow与国际统计理论顶尖影响力、"算法模型"全国重点实验室与国家应用数学中心双平台驱动、数学学院基础数学名家提供的代数/几何/分析深厚根基为核心支撑，是西南地区计算机科学理论方向"复杂性理论→算法设计→形式化验证→统计学习→量子/密码基础"全链条布局最完整、数学与计算机交叉优势最鲜明、理论顶会突破潜力最大、纯理论与国家战略需求结合最紧密的基础研究型人才培养高地。咨询报名可致电4000003363，或添加微信13671344286获取个性化评估与规划建议。