Course List

LIST 1
  1. Advanced Human-Computer Interaction (6 CFU – E/O)
  2. Numerical Algorithms and Applications (6 CFU  – O/E – 2nd)
  3. Advanced Algorithms (6 CFU – 1st)
  4. Static Program Analysis and Verification by Abstract Interpretation (6 CFU – 2nd)
  5. Auditory and Tactile Interactions (6 CFU – 2nd)
  6. Automatic system verification: theory and applications (9 CFU – 2nd)
  7. Advanced Databases and GIS (6 CFU –  O/E – 2nd)
  8. Formal Methods (6 CFU – 2nd)
  9. Computational Geometry (6 CFU –  E/O)
  10. Data & Techniques for E-Health (6 CFU – O/E – 2nd)
  11. Recommender Systems (6 CFU – E/O)
  12. Interactive 3D Graphics (6 CFU – 1st)
  13. Languages and compilers (9 CFU – 2nd)
  14. Algorithms and Models for Decisions (6 CFU – O/E – 2nd)
  15. Multimedia System Design (6 CFU – 1st)
  16. Mobile Application Design (6 CFU – 1st)
  17. Object Oriented Analysis and Design (6 CFU – 2nd)
  18. Cybersecurity (6 CFU – 2nd)
  19. Semantic Web (6 CFU – 1st)
  20. Semantics and Concurrency (9 CFU – 1st)
  21. Virtual Reality and Persuasive User Experience  (9 CFU –  2nd)

1st (semester) means october-january, 2nd (semester) means march-june.

E/O means that the course is active in even/odd academic years (eg 2018/19, 2020/21)

O/E means that it is active in the odd/even academic years (eg 2017/18, 2019/20)

CFU is the same as ECTS