介绍

一般情况下我每年可招收博士生1-2名，自2021年起，因学校政策调整，硕士仅招收外籍及港澳台留学生（无名额限制）。每年都有很多联系我的具有免试推荐资格和申请审核制的同学，而根据我近年来的经验，大多数同学在联系导师甚至面试的时候，都是匆匆为之，并没想清楚自己的兴趣所在，也低估了研究生期间各方面的压力。所以请各位同学在联系我之前严肃地思考一下这样的问题：

（1） 我是否对提出新的创意、观点和传播知识特别感兴趣？

（2） 我是否希望将来从事科研/教学工作？

（3） 我对软件理论、形式化方法、信息物理系统、人工智能、区块链等方向了解多少？是否适合从事相关的科研工作？

“有得必有失，有失必有得，事多无兼得者。假得真失，假失真得，其别微矣。唯明其判断之心，方可察其异；轻其得失之心，方能减其忧。察其易，则可避其失；减其忧，则可获其得。此其多得少失之方也，可择之不慎乎？” 在你读研和博士期间，你的同学朋友可能已经买房买车，结婚生子，过上了许多人眼中的体面生活，而为了自己的研究兴趣，这些你可能都要舍弃（至少在这几年里暂时舍弃）。如果你不愿意放弃这些，说明你对研究可能并不是真的感兴趣，建议你对是否读研慎重考虑。

每年保送申请之前都会有多位同学和我联系，在邮件中大段文字泛泛而谈对我的方向如何感兴趣，跟其自己的背景如何匹配，但从其简历和个人陈述等申请材料中完全无法看出任何相关证据（甚至有些同学所讲述的研究内容是我多年前从事过现在已经基本不再关注的方向，或与我的研究内容完全无关），这么做并不会对你的申请有任何帮助。

 我近年来讲授（讲授过、即将讲授）的专业课程包括程序设计技术与方法（约束求解）、程序设计的数学理论（即将开设）、程序设计语言原理、区块链原理、方法及应用、软件形式化方法（模型检查），如果你希望加入我的课题组，你至少需要学习过其中的部分内容，以保证自己拥有足够的背景知识。

如果你确实对从事与我的研究方向相关的科研工作充满兴趣并已有了充分了解，欢迎和我联系，建议你在和我联系之前，首先仔细阅读下面的各节内容（特别是第四部分书目单中所列出的部分书籍），也可约时间到我办公室咨询，并慎重考虑自己是否适合加入我的团队。

1. 我对研究团队成员的期望和要求

2. 作为我的学生你将取得的收获

3. 入学之前申请及课程准备

4. 入学之后时间安排

这里有一些对研究生的建议：Some Modest Advice for Graduate Students

建议希望读博士的同学在申请之前读一读Philip Guo的"The Ph.D. Grind" 这本书（该书英文版的链接已不再可用，但这里有提供该书的中文翻译版本），将会帮助你对博士生活有更加清楚地认识："This book is named The Ph.D. Grind because there would be no Ph.D. without ten thousand hours of unglamorous, hard-nosed grinding."