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