| No | Name | Hour | Credit | Instructor |
|---|---|---|---|---|
| 711009Z | Introduction to Algebra and Finite Fields | 40 | 2 | Ye,Dingfeng |
| 711010Z | Cryptography | 40 | 2 | Qu,Qibin |
| 711012Z | Applied Cryptography and Network Security | 40 | 2 | Cha,Daren |
| 712002Z | Testing and Testable Design of VLSI Systems | 40 | 2 | Li,Huawei |
| 712004Z | Compilers: An Advanced Course | 40 | 2 | Feng,Xiaobing |
| 712005Z | Database Technology | 40 | 2 | Su,Guiping |
| 712006Z | Formal language and Automata theory | 40 | 2 | Yao,Gang |
| 712007Z | Theory of programming languages | 40 | 2 | Zhang,Yu |
| 712009Z | Data Mining | 40 | 2 | Liu,Ying |
| 712010Z | Artificial Intelligence | 4 | 2 | Wang,Wenjie |
