郁文生

导师辨识特征：学识渊博，和蔼可亲 学术水平：实验室主要研究方向是形式化验证，有数学理论的形式化证明，也有计算机科学中的程序验证等方向。郁老师在该领域深耕多年，有着很高的学术水平。 科研经费：项目丰富，科研经费充足。 学生补助：实验室氛围很好，老师平易近人。 师生关系：允许实习，毕业后的学生主要在互联网，通信，金融等行业工作。