郁文生

根据学生评价，该教师学识渊博，和蔼可亲，在形式化验证领域深耕多年，学术水平高。实验室项目丰富，科研经费充足。教师平易近人，师生关系良好，允许学生实习。毕业生主要在互联网、通信、金融等行业就业。