|
个人信息：Personal Information
教授 博士生导师 研究生导师
性别：女
毕业院校：西安电子科技大学
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机科学与技术
电子邮箱：
扫描关注
本科生课程
| 课程名称： | 学年： | 学期： | 学时： | 学分： | 课程号： |
| 编译原理 | 2016-2017 | 春学期 | 48 | 3 | CS3010 |
| 编译原理 | 2014-2015 | 春学期 | 64 | 4 | CS3121914 |
研究生课程
| 课程名称： | 学年： | 学期： | 学时： | 学分： | 课程号： |
| 程序的形式语义与验证 | 2018-2019 | 秋学期 | 48 | 3 | X19CS1004 |
| 程序的形式语义与验证 | 2018-2019 | 秋学期 | 48 | 3 | X19CS0004 |
| 程序的形式语义与验证 | 2016-2017 | 春学期 | 48 | 3 | X19CS1004 |
| 程序的形式语义与验证 | 2016-2017 | 春学期 | 48 | 3 | X19CS0004 |
| 程序的形式语义与验证 | 2015-2016 | 春学期 | 48 | 3 | X19CS0004 |
| 程序的形式语义与验证 | 2015-2016 | 春学期 | 48 | 3 | X19CS1004 |