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