Intelligent and Adaptive Systems (IAS)

1st year (students enrolled in 2018-2019)

Compulsory Exams - Group I (30 ECTS):

Fundamentals of Reactive Systems (6 ECTS) - 1st Semester
Distributed Calculus and Coordination (6 ECTS) - 1st Semester
Machine Learning (6 ECTS) - 1st Semester
Systems Verification Lab (6 ECTS) - 2nd Semester
Logic and Constraint Programming (6 ECTS) - 2nd Semester

IAS Selection - Group II (6 ECTS to be selected among the following ones):

Compilers (6 ECTS) - 1st Semester
Queueing Networks: Simulation (6 ECTS) - 2nd Semester
Distributed Systems (6 ECTS) - 2nd Semester

2nd year (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum)

Compulsory Exams - Group I (12 ECTS):

Compilers (substitutes Formal Languages and Compilers) (6 ECTS) - 1st Semester
Machine Learning (substitutes Big Data Analytics) (6 ECTS) - 1st Semester