|
个人信息：Personal Information
教授 博士生导师 研究生导师
主要任职：" 华山学者"特聘教授
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：1995-03-31
学科：计算机软件与理论 软件工程
办公地点：南校区网安大楼A1-508
联系方式：xyliu@xidian.edu.cn
电子邮箱：
扫描关注
本科生课程
| 课程名称： | 学年： | 学期： | 学时： | 学分： | 课程号： |
| 学业指导 | 2018-2019 | 春学期 | 16 | - | TS000001 |
| 协议工程 | 2017-2018 | 春学期 | 40 | 2.5 | SE5021 |
| 协议工程 | 2017-2018 | 春学期 | 40 | 2.5 | SE5021-X |
| 软件工程概论 | 2017-2018 | 春学期 | 32 | 2 | SE3006L |
| 软件工程概论 | 2014-2015 | 春学期 | 40 | 2.5 | SE3006 |
研究生课程
| 课程名称： | 学年： | 学期： | 学时： | 学分： | 课程号： |
| 计算机科学使用的数理逻辑 | 2018-2019 | 秋学期 | 48 | 3 | Z11CS1006 |
| 计算机科学使用的数理逻辑 | 2018-2019 | 秋学期 | 48 | 3 | X19CS1006 |
| 计算机科学使用的数理逻辑 | 2017-2018 | 秋学期 | 48 | 3 | Z11CS1006 |
| 计算机科学使用的数理逻辑 | 2017-2018 | 秋学期 | 48 | 3 | X19CS1006 |
| 软件测试技术 | 2016-2017 | 春学期 | 48 | 3 | X24CS1130 |
| 计算机科学使用的数理逻辑 | 2016-2017 | 秋学期 | 48 | 3 | Z11CS1006 |
| 计算机科学使用的数理逻辑 | 2016-2017 | 秋学期 | 48 | 3 | X19CS1006 |
| 计算机科学使用的数理逻辑 | 2015-2016 | 秋学期 | 48 | 3 | Z11CS1006 |
| 软件测试技术 | 2015-2016 | 春学期 | 48 | 3 | X24CS1130 |
| 计算机科学使用的数理逻辑 | 2015-2016 | 秋学期 | 48 | 3 | X19CS1006 |