南京航空航天大学理论计算机科学方向依托计算机科学与技术学院建设，是学校"三航特色"信息学科体系中兼具基础理论深度与国防应用价值的重要支撑。计算机科学与技术学院前身为1958年设立的计算机专业，历经六十余年发展，形成了"智算空天、信达未来"的学科品格，深度融入学校"航空、航天、民航"特色优势，面向形式化方法、程序验证、算法设计与分析、计算复杂性、人工智能理论基础等国家重大战略需求。学院设有计算机科学与技术一级学科博士学位授权点和软件工程一级学科博士学位授权点，并设有博士后科研流动站。其中计算机应用技术为国防特色学科，计算机科学与技术为江苏省优势学科。在第五轮学科评估中，计算机科学与技术学科进入B+类，软件工程学科进入B类，综合实力稳居全国计算机学科第一方阵。学院设有计算机科学与技术、软件工程、信息安全、物联网工程4个本科专业，均为国家一流本科专业建设点，建有国家级计算机实验教学示范中心。

学院在理论计算机科学领域积淀深厚，建有"软件新技术与工业化"工信部重点实验室、"高安全系统的软件开发与验证技术"教育部重点实验室（筹）、江苏省"智能信息处理"重点实验室等省部级以上科研基地。汇聚了以黄志球教授（国家级高层次人才，长期从事形式化方法与软件可靠性研究）、李宣东教授（南京大学-南航联合培养，形式化验证领域知名学者）、王立军教授、陈振宇教授、张莉教授等为代表的一批学术领军人才。在程序形式化验证与模型检测、软件可靠性分析与测试、算法设计与复杂性分析、人工智能可解释性与安全性理论、密码学与安全协议形式化分析、并发系统验证、嵌入式系统形式化建模、量子计算理论基础等方向处于国内领先水平，研究成果广泛应用于航空航天嵌入式软件、高安全关键系统、国产基础软件等领域。学院与中国电科集团、中国航天科技集团、华为、中兴等单位建立深度合作与联合培养机制，硕士毕业生大量进入世界500强企业与国防科技工业领域。对于有志于在军工科研院所从事高安全软件验证与测试、在基础软件企业从事编译器与操作系统内核研发、在高校从事理论计算机科学教学研究的学子，保研至该校是兼具理论严谨性与国防工程使命的顶级选择。

一、保研情况介绍

理论计算机科学保研选拔注重数理逻辑功底、抽象思维能力、算法设计能力与科研创新潜质。学业上通常要求绩点排名专业前10%-15%，无挂科；高等数学、线性代数、概率论与数理统计、离散数学、数理逻辑、计算理论、算法设计与分析、数据结构、编译原理、操作系统、计算机网络、程序设计语言理论、形式化方法、模型检测、自动机理论、C/Python/Java/函数式编程语言等核心课成绩关键。具备扎实的数学证明与逻辑推理能力、独立的算法设计与复杂度分析意识、形式化建模与学术写作能力者更具竞争力。

英语需过CET-6（≥480）或同等托福雅思成绩；卓越英语能力是阅读ACM Transactions on Programming Languages and Systems、Journal of the ACM、SIAM Journal on Computing、Theoretical Computer Science、Formal Methods in System Design、IEEE Transactions on Software Engineering、Software & Systems Modeling、《计算机学报》《软件学报》《计算机研究与发展》《计算机科学与探索》等顶刊及发表SCI/EI论文的基础。

科研与实践方面，ACM-ICPC国际大学生程序设计竞赛、CCF CSP认证、"挑战杯"全国大学生课外学术科技作品竞赛、全国大学生软件测试大赛、中国研究生数学建模竞赛、美国大学生数学建模竞赛、省级以上大创项目结题优秀、核心期刊论文（尤其一作或导师一作本人二作）、发明专利授权可获显著加分。具备在中科院软件所、航天院所、华为2012实验室、阿里达摩院、腾讯AI Lab等研发部门实习经历，或参与导师国家自然科学基金、国家重点研发计划、国防预研等省部级以上课题、拥有高质量研究成果（学术论文、专利、形式化验证工具、算法原型系统）者优势明显。该方向推免名额充裕（计算机科学与技术学硕081200含理论计算机科学、软件工程学硕083500含形式化方法方向），但黄志球、李宣东等顶尖导师团队竞争极为激烈，建议提前联系意向导师明确研究课题。

二、知点保研主要优势

面对高标准选拔，知点保研凭借近10年深耕提供全流程辅导：一是经验丰富，建立标准化精细化辅导体系；二是专注南航保研，积累专属师资与信息资源，精准拆解招录标准；三是一对一定制，摒弃模板化教学，针对性打磨文书与面试逻辑；四是线上线下结合，灵活适配需求；五是严格督学与及时答疑，全程跟进备考申报复试；六是全方位规划，覆盖学术规划、绩点提升、科研孵化、文书优化、预推免申报、复试特训、导师套磁全周期；七是同步提供考研考博辅导，构建一体化升学体系。

三、辅导体系

针对考核特点，知点保研构建多维专项辅导：绩点提升聚焦离散数学、数理逻辑、计算理论、算法设计与分析、数据结构、编译原理、操作系统、程序设计语言理论、形式化方法、模型检测、自动机理论等高难核心课；英语辅导强化CET-6高分及学术写作与英文文献精读；论文辅导协助完成理论模型建构、形式化规约编写、算法正确性证明与复杂度分析，聚焦基于Hoare逻辑与分离逻辑的并发程序模块化验证框架、面向航空航天嵌入式软件的模型检测与抽象精化技术、参数化算法在NP-hard问题上的精确求解与核化策略、深度学习模型的形式化安全性验证与对抗鲁棒性理论、基于类型系统的内存安全与并发安全保证机制、量子算法复杂性下界证明与量子纠错码构造、软件定义网络协议的形式化建模与性质验证、面向国产操作系统的微内核形式化验证与可信构建、程序合成与归纳推理在自动化编程中的应用、隐私保护计算的理论基础与安全协议形式化分析等前沿议题；专业课一对一梳理离散数学（集合论、图论、组合数学、布尔代数）、数理逻辑（命题逻辑、一阶谓词逻辑、证明论、模型论）、计算理论（正则语言、上下文无关文法、图灵机、可计算性、P/NP复杂性类）、算法设计与分析（分治、动态规划、贪心、回溯、近似算法、随机算法）、数据结构（高级树结构、哈希、堆、并查集）、编译原理（词法/语法/语义分析、中间代码、优化、代码生成）、操作系统（进程管理、内存管理、文件系统、并发控制）、程序设计语言理论（类型系统、指称语义、操作语义）、形式化方法（Z/B/TLA+/Coq/Isabelle/Alloy）、模型检测（时序逻辑、符号模型检测、有界模型检测）、自动机理论（有限自动机、下推自动机、ω-自动机）等核心脉络与技术要点；笔试辅导进行考点梳理与真题演练（初试科目为829计算机专业基础或877数据结构与算法设计）；面试辅导开展全真模拟（综合面试满分150分），训练算法问题分析与证明、形式化规约解读、理论成果陈述能力及科技自立自强、基础软件卡脖子攻关、人工智能安全与伦理、量子计算战略布局、信创产业与国产替代、新质生产力与数字经济等热点问答；文书深挖算法竞赛经历、形式化验证项目参与细节、理论研究成果、大创项目过程、专利申请经历、学术会议参与经历，突出抽象思维与严谨论证能力，杜绝同质化；竞赛辅导助力冲刺ACM-ICPC、CCF CSP、"挑战杯"、全国大学生软件测试大赛、中国研究生数学建模竞赛、美赛等高含金量赛事。

保研是对学业、科研与信息获取能力的综合考察。如需了解更多南京航空航天大学高端保研直博辅导详情或定制专属备考方案，欢迎咨询报名：4000003363，也可以添加微信13671344286，专业老师将为您提供一对一解答。