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 |
|