📄️ 学硕_代数形式化方法任课教师：张民📄️ 学硕_程序验证方法授课老师：朱惠彪📄️ 学硕_算法分析与设计授课老师：彭超老师📄️ 学硕专硕_智能系统分析与验证授课老师：李建文老师📄️ 学硕专硕_软件理论基础授课老师：张敏老师和卜天明老师📄️ 学硕专硕_软硬件协同设计授课老师：陈仪香老师