Courses

2014-10-03 11:07:55
Semester 1Foundations of ComputingOption 1: Program Semantics, Verification, and Construction
Option 2: Advanced Topics in Information Security
Programming ParadigmsOption 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 ComputingOption 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 2Information TechnologiesOption 1: Intelligent Robotics
Option 2: Computer Vision
Option 3: Distributed Computer Graphics
Free Option 
Cultural Option 
Thesis Planning