#14629
2025-04-04T22:03:11.000Z
辨识特征
暂无补充
学术水平
在计算机形式语言和程序验证方面有很高的水平，但不是世界顶级的
科研经费
经费充足 师生关系：对学生的要求很挑剔，跟学生关系不是特别友好，对学生没有太多帮助，但不会给学生安排杂务。 学生前途：这得看学生的具体情况，每个学生不一样。这个不好评价。
学生补助
暂无补充
师生关系
对学生的要求很挑剔，跟学生关系不是特别友好，对学生没有太多帮助，但不会给学生安排杂务。 学生前途：这得看学生的具体情况，每个学生不一样。这个不好评价。
工作时间
暂无补充
学生前途
这得看学生的具体情况，每个学生不一样。这个不好评价。
其他补充
暂无补充