应明生

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