詹乃军

根据学生评价，该教师在形式化方法和程序验证领域学术能力一流，是杰青获得者。教师数学功底深厚，对学生指导严格且友善，师生关系融洽。科研经费充足，学生补助高于平均水平。教师不强制要求工作时间，实行任务导向制，学生自由安排。博士生有较多出国交流机会，毕业去向良好，多选择出国博后、高校或研究所。