导师能力：在计算机形式语言和程序验证方面有很高的水平，但不是世界顶级的 经费发放：经费充足 与学生关系：对学生的要求很挑剔，跟学生关系不是特别友好，对学生没有太多帮助，但不会给学生安排杂务。 学生毕业去向：这得看学生的具体情况，每个学生不一样。这个不好评价。
学术水平：在计算机形式语言和程序验证方面有很高的水平，但不是世界顶级的<br><br>科研经费：经费充足<br><br>师生关系：对学生的要求很挑剔，跟学生关系不是特别友好，对学生没有太多帮助，但不会给学生安排杂务。<br><br>学生前途：这得看学生的具体情况，每个学生不一样。这个不好评价。