|
入学之后时间安排
研究生每年需在校学习时间为十一个月，除毕业前最后一学期外，其他各学期均需参加课题组讨论班，可以取得讨论班课程学分，基础成绩为60分。若要成绩更高，需努力提高自己报告水平并在其他人报告时多提问题，积极参加讨论。根据研究方向的需要，研究生还需主动参加数学伊人直播
、信息科学系、信息伊人直播
及中科院软件所的学术报告、国际学术会议、暑期学校等学术活动，根据研究方向及进度，还需参加对应的组会。另外根据研究工作的需要，部分同学可能会短期出国进行交流。请注意上课在研究生期间所占的时间只是极少的一部分，你的主要精力和时间应该放在科研工作上面。
建议学习课程：
算法分析与设计（必）、软件形式化方法（必）、符号计算（必）、人工智能、信息安全、机器学习、软件理论与方法选讲、软件测试与分析、软件分析技术、面向对象分析与设计、编程语言的设计原理、形式语言与自动机引论、程序设计语言的形式语义、软件理论讨论班
本科没学过《数理逻辑》、《集合论与图论》、《理论计算机科学基础》的同学需在入学前自学或入学后补修这三门课（《理论计算机科学基础》可计入研究生学分）。
保送直博生建议大四期间阅读后面所列书目单中1，初步了解相关研究方向。
直博生：
第一年：
这一年重点是上课学习和参加课题组讨论班及学术报告，并开始从事一定的研究工作。需学完至少8门专业课，根据教务排课可能每年可选课程略有不同，以当年课表为准。每学期讨论班至少报告1次，每次2小时，内容以本人阅读材料为主。第一年结束时至少应从书目单中选读3本，并在导师指导下阅读一定的论文。
第一年结束时请考虑并回答如下问题：
（1） 是否确定了明确的读博动机，并希望将来从事研究/教学职位的工作？
（2） 通过阅读研究领域相关文献，是否找到了研究的感觉并且确认了研究的兴趣所在？
（3） 是否对不同的研究方法有了清楚的了解，并且在某些方向上的知识有了深入的学习？
（4） 是否和课题组的导师和同学建立了一个交流的网络，并经常进行学术讨论？
（5） 是否参与了某个研究项目的具体研究工作或自己开始撰写一个项目研究计划？
（6） 对你接下来几年博士期间的时间是否有一个明确的规划安排？
第二年：
直博生应在这一年通过资格考试，考试科目为算法与数据结构、理论计算机科学基础（也可在第一年参加考试）。
若第一年因补修课程，未修满研究生学分要求，需继续修课，最晚本年度需完成全部课程学分要求。
第二年的重点为自己阅读专著和论文，开始进行研究工作，并在讨论班上报告，报告以本人工作为主，也可以讨论所读的书或论文，每学期至少报告1次，每次2小时。
直博生第二年结束前必须确定研究方向并证明你有从事研究工作的能力，第三年开始前至少需写出一篇Category C（参见我对论文发表的要求）会议长文标准研究论文（Springer LNCS格式15-20页）或文献综述（Springer LNCS格式40页）并经我审阅通过，同意投稿（可以和他人合作，但必须为论文主要作者）。不能达到这一要求的同学请选择下列方式之一：
1）如果你感觉自己不适合从事这一方向的研究并且对其他领域的研究感兴趣，可以申请更换方向及导师（希望更改导师的同学需尽早提出申请）；
2）如果你的能力有限，达不到我对博士的要求，但能够主动学习和参加科研，请申请转为硕士生，我可以按硕士标准进行培养；
3）如果你达不到我的要求，又不属于1）、2）的任何一种，我将考虑让你退学。
直博生第二年结束前需根据研究方向从书目单中至少选读8本： a)中1为必读，2、3、4可选读；b)中5-8至少选读2本；
除推荐书目外，还需大量阅读相关领域的论文，有关期刊和会议可参考我对论文发表的要求。
第二年结束时请考虑并回答如下问题：
（1） 在读博的动机上是否仍然明确还是有所动摇？是否希望将来从事研究/教学职位的工作？
（2） 是否已经作为主要作者完成了一篇学术论文并投稿到本领域的重要期刊或会议？
（3） 在日常的讨论中是否能够明确提出自己的创意或研究方案？
（4） 是否能够了解多种研究方法并熟练使用各种相关的研究工具？
（5） 是否能够根据之前的文献学习和阅读，写出一篇文献综述并就所研究领域的某个具体方向建立起自己的研究大纲和博士学位论文的基本框架？
（6） 是否能够和导师进行关于自己工作的日常讨论（例如两周一次）或者参加一个以自己论文工作为主题的项目小组？
（7） 是否能够并发地处理多项工作，并按事项的重要性合理安排自己的时间？
第三、四年：
需对所研究领域充满兴趣和热情，能够独立及合作开展研究工作，并在本领域的重要国际期刊和会议上持续发表高水平的学术论文（参见我对论文发表的要求）。每学期需参加讨论班并在讨论班上报告至少1次，报告以本人工作为主，每次2小时。
第三年结束时请考虑并回答如下问题：
（1） 在读博的动机上是否仍然明确还是有所动摇？是否希望将来从事研究/教学职位的工作？是否希望尽快进入就业市场？
（2） 是否完整经历了自己提交论文、处理同行评审直到论文发表的整个过程？
（3） 是否参加国际学术会议并在会上做大会报告？
（4） 是否从事了一定的学术期刊或会议的论文审稿工作？
（5） 是否能够更快速高效地阅读文献，并能够借鉴其工作的有用部分内容，将其快速整合到自己的研究理论体系之中？
（6） 是否完全通过了资格考试？
（7） 是否确认了自己的学位论文主题，并已经有了一定的成果积累？
（8） 是否已经有了较好的演讲技巧？
（9） 是否对从事相同领域研究工作的国内外同行有了相当的了解？
第四年结束时请考虑并回答如下问题：
（1） 是否已有多篇第一作者的论文发表在本领域的重要期刊和会议上？
（2） 是否从自己的研究工作中构建了一个完整的项目计划？
（3） 是否锻炼出了良好的团队合作能力和独立工作能力？
（4） 是否能够及时与国内外同行进行良好高效的沟通与互动，分享想法与成果？
第五年：
确定毕业后的工作单位，整理发表前期研究成果，写作毕业论文，二月底前需完成第一稿。
硕士生：
第一年：
这一年重点是上课学习和参加课题组讨论班及学术报告，并开始从事一定的研究工作。需学完学分要求课程（至少8门专业课，根据教务排课可能每年可选课程略有不同，以当年课表为准）。每学期讨论班至少报告1次，每次2小时，内容以本人阅读材料为主。
保送硕士生建议大四期间阅读后面所列书目单中1，初步了解相关研究方向。
第二年：
根据所选方向从事一定的相关研究，参加课题组讨论班，每学期讨论班至少报告1次，每次2小时。
第三年：
确定毕业后的工作单位或联系出国留学，写作毕业论文，二月底前需完成第一稿。
硕转博：
第一、二年同硕士生：
希望硕转博的同学应在第二年寒假前及时提出申请并通过资格考试（第一年也可申请），但申请前需证明你有从事本方向科研工作的能力。
第三~六年：
时间安排参考直博生第二~五年安排。硕转博的同学可第三年再选修部分博士期间所要求课程，达到博士生学分要求。
四年制普通博士生：
时间安排参考直博生第二~五年安排。
书目单（持续更新中）：
a) 形式化方法：
1．Doron A. Peled. Software Reliability Methods. Springer, 2001.（数学伊人直播
图书馆可借）
2．Manfred Broy and Ketil Stolen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, 2001.（数学伊人直播
图书馆可借）
3．Willem-Paul de Roever and Kai Engelhardt. Data Refinement: Model Oriented Proof Methods and their Comparison. Cambridge University Press, 1998.
4. Carroll Morgan. Programming from Specifications. （中文版“从规范出发的程序设计”，裘宗燕译，伊人直播
中心图书馆可借）
b) 并发系统：
5．Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
6．C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985，available online.
7. Howard Bowman and Rodolfo Gomez. Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, 2006. （数学伊人直播
图书馆可借）
8．A.W. Roscoe. Theory and Practice of Concurrency, Prentice Hall, 1998.available online.
c) 形式化验证：
9．Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press, 2008.（数学伊人直播
图书馆可借）
10．Klaus Schneider. Verification of Reactive Systems: Formal Methods and Algorithms. Springer, 2004.（数学伊人直播
图书馆可借）
11．Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled. Model Checking. The MIT Press, 1999.（数学伊人直播
图书馆可借）
12．Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, 2001.（数学伊人直播
图书馆可借）
13. Paul Ammann and Jeff Offutt. Introduction to Software Testing. Cambridge University Press, 2008.（伊人直播
中心图书馆可借）
d) 信息物理系统、实时系统、混成系统、概率系统：
14．Rajeev Alur. Principles of Cyber-Physical Systems. MIT Press, 2015. （数学伊人直播
图书馆可借）
15．Andre Platzer. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, 2010.
16．Edward Ashford Lee and Sanjit Arunkumar Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach. UC Berkeley. 2011.
17．Paulo Tabuada. Verification and Control of Hybrid Systems. Springer, 2009.
18．Jayadev Misra. A Discipline of Multiprogramming: Programming Theory for Distributed Applications. Springer, 2001.（数学伊人直播
图书馆可借）
19．Carlo A. Furia, Dino Mandrioli, Angelo Morzenti and Matteo Rossi. Modeling Time in Computing. Springer, 2012.
20．Nimal Nissanke. Realtime Systems. Prentice Hall, 1997.
21．Zhou Chaochen and Michael R. Hansen. Duration Calculus: A Formal Approach to Real-Time Systems. Springer, 2004.（数学伊人直播
图书馆可借）
22．Yuxin Deng. Semantics of Probabilistic Processes. Springer, 2014. available online.
e) 范畴论、代数和余代数：
23．Richard Bird and Oege de Moor. Algebra of Programming. Prentice Hall, 1998.
24．Michael Barr and Charles Wells. Category Theory for Computing Science. 3rd edition. Les Publications CRM, 1999. Reprints in Theory and Applications of Categories, No. 22, 2012, and available online.
25．Saunders Mac Lane. Categories for the Working Mathematician, 2nd edition, Springer, 1998, available online.（本书影印版可在当当网、亚马逊、京东、China-pub等买到）
26．Bart Jacobs. Introduction to Coalgebra. Towards Mathematics of States and Observations, Version 2.0, 2012, available online.
| 