导师辨识特征：软件所5号楼三层<br><br>学术水平：数学很好<br><br>科研经费：充足<br><br>学生补助：很高<br><br>师生关系：融洽 老师找学生都会提前预约时间<br><br>工作时间：不要求，学生自由安排<br><br>学生前途：读博士前途比较好

利益相关：软件所计算机科学国家重点实验室副主任，二级研究院，杰青获得者。在形式化方法，程序验证这一块国内第一没问题。学术能力一流，对学生很nice，博士生一般都有多次出国交流机会，组内聚餐多，口头禅： 浓烈着...... 导师能力：杰青，形式化方法，程序验证国内一流，不抢学生一作，博士生论文产量高，且多。 经费发放：经费发放充足，项目titile大，导致活也很多。 学生补助：实验室平均水平偏上，不算最多但也不少。 与学生关系：对学生很nice，博士生出国交流机会多，平时对学生很严格，生活上学生有困难他也经常帮助，喜欢打篮球。 工作时间：工作时间自由，任务导向制，任务比较多，但是都是学术上的事没杂活。 学生毕业去向：理论上不允许，博士生毕业一般出国博后，或者去高校研究所，也有去公司的，硕士生自谋出路。

自证认识导师：软件所计算机科学国家重点实验室副主任，二级研究院，杰青获得者。在形式化方法，程序验证这一块国内第一没问题。学术能力一流，对学生很nice，博士生一般都有多次出国交流机会，组内聚餐多，口头禅： 浓烈着......<br><br>学术水平：杰青，形式化方法，程序验证国内一流，不抢学生一作，博士生论文产量高，且多。<br><br>科研经费：科研经费充足，项目titile大，导致活也很多。<br><br>学生补助：实验室平均水平偏上，不算最多但也不少。<br><br>师生关系：对学生很nice，博士生出国交流机会多，平时对学生很严格，生活上学生有困难他也经常帮助，喜欢打篮球。<br><br>工作时间：工作时间自由，任务导向制，任务比较多，但是都是学术上的事没杂活。<br><br>学生前途：理论上不允许，博士生毕业一般出国博后，或者去高校研究所，也有去公司的，硕士生自谋出路。