詹乃军

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

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