Curriculum:
1. Formal Methods for Software Engineering
2. Compiler Design
3. Distributed Databases
4. Computer Vision and Pattern Recognition
5. Principles of Program Analysis
6. Advanced Computer Architecture
7. Distributed Systems
8. Knowledge Discovery and Data Mining
9. Advanced Computer Networks
10. Computational Complexity
11. Systems Security
12. Formal Specification and Design Techniques
13. Simulation and Modelling Techniques
14. Combinatorial and Graph Algorithms
15. Theoretical Foundations in Multimedia
1. Cryptography Theory and Practice
2. Information Security Management
3. Topics in Information Security Management
4. Computer Security Practice
5. Software Security
6. Principles of Program Analysis
7. Automated Software Validation
8. Systems Security
9. Information Security Policies
10. Information Technology Outsourcing
11. Network Security and Management
12. Web Security
13. Topics in Information Security
14. Topics in System Security
1. Software Project Management
2. Integration of IS and Business
3. Telecoms and International Network
4. IT Entrepreneurship
5. Electronic Government
6. IT Policies
7. Hands-on with Business Analytics
8. Managing and Using New Media
9. Organizing for IT Innovation
10. Topics in Information Systems I
课程介绍:
1、软件工程形式方法
2、编译器设计
3、分布式数据库
4、计算机视觉和模式识别
5、程序分析原理
6、高级计算机系统结构
7、分布式系统
8、知识发现与数据挖掘
9、高级计算机网络
10、计算复杂度
11、系统安全
12、形式规范和设计技术
13、仿真和建模技术
14、组合算法和图算法
15、多媒体理论基础
1、密码学理论与实践
2、信息安全管理
3、信息安全管理专题研究
4、计算机安全实践
5、软件安全
6、程序分析原理
7、自动化软件验证
8、系统安全
9、信息安全策略
10、信息技术外包
11、网络安全与管理
12、网络安全
13、信息安全专题研究
14、系统安全专题研究
1、软件项目管理
2、信息系统集成与商业
3、电信与国际网络
4、IT行业企业家精神
5、电子政务
6、信息技术政策
7、商业分析实践操作
8、新媒体使用与管理
9、信息技术创新组织
10、信息系统专题研究I