| Semester 1 | Foundations of Computing | Option 1: Program Semantics, Verification, and Construction |
| Option 2: Advanced Topics in Information Security | ||
| Programming Paradigms | Option 1: Autonomous Agents and Multi-Agent Systems | |
| Option 2: Model-driven Software Engineering | ||
| Option 3: Advanced Topics in Data Mining and Logic Programming | ||
| Thematic Option: Global Computing | Option 1: Cluster and Grid Computing | |
| Option 2: Distributed Computing | ||
| Option 3: Architecture and Design of Large-Scale Software Systems | ||
| Thematic Seminars on Global Computing | ||
| Seminar | ||
| Semester 2 | Information Technologies | Option 1: Intelligent Robotics |
| Option 2: Computer Vision | ||
| Option 3: Distributed Computer Graphics | ||
| Free Option | ||
| Cultural Option | ||
| Thesis Planning |





