Master's Degree Programme in
Computer Science

Software Dependability and Cyber Security 
Enrolled in a.y. 2018/2019

Type of educational activity: Core educational activities [B]
ECTS partial Code Reference sector Year COURSE ECTS course

48

 CM0470 INF/01 1 ADVANCED ALGORITHMS AND PROGRAMMING METHODS 12
CM0480 INF/01 1 CRYPTOGRAPHY 6
CM0474 INF/01 1 FORMAL METHODS FOR SYSTEM VERIFICATION 6
CM0475 INF/01 1 SECURITY 12
CM0476 INF/01 1 SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY 6
CM0481 INF/01 1 SOFTWARE PERFORMANCE AND SCALABILITY 6

da 12 a 18 cfu / from 12 to 18 ECTS credits

CM0190 INF/01 2 BIOINFORMATICS 6
CM0526 INF/01 2 GEOMETRIC AND 3D COMPUTER VISION 6
CM0227 INF/01 2 HIGH PERFORMANCE COMPUTING 6
CM0482 INF/01 2 HUMAN COMPUTER INTERACTION AND INFORMATION VISUALIZATION 6
CM0524 INF/01 1 IMAGE AND VIDEO UNDERSTANDING 6

da 0 a 6 cfu / from 0 to 6 ECTS credits

 CM0520 INF/01 1 ADVANCED DATA MANAGEMENT 6
CM0491 INF/01 1 ARTIFICIAL INTELLIGENCE: KNOWLEDGE REPRESENTATION AND PLANNING 6
CM0492 INF/01 1 ARTIFICIAL INTELLIGENCE: MACHINE LEARNING AND PATTERN RECOGNITION 6
CM0468 INF/01 1 CLOUD COMPUTING AND DISTRIBUTED SYSTEMS 6
CM0473 INF/01 1 INFORMATION RETRIEVAL AND WEB SEARCH 6
Type of educational activity: Interdisciplinary [C]
ECTS partial Code Reference sector Year COURSE ECTS course

6

 CM0469 MAT/09 1 CALCULUS AND OPTIMIZATION 6

6

 CM0527 SECS‑S/01 1 COMPUTATIONAL STATISTICS AND SIMULATION 6
CM0525 INF/01 1 CRYPTOGRAPHY FOUNDATION 6
CM0224 MAT/08 2 NUMERICAL ALGORITHMS 6
CM0471 SECS‑S/01 1 STATISTICAL INFERENCE AND LEARNING 6
CM0477 SECS‑S/01 1 STATISTICS FOR SPATIO-TEMPORAL DATA 6
Type of educational activity: Decided by individual student [D]

You can select up to 12 ECTS credits among the following teaching activities, or among others courses offered in this MSc program and not yet chosen as core/interdisciplinary, included the compulsory courses of the curriculum "Data Management and Analytics". You may also choose other teaching activities among the ones offered by Ca' Foscari University within other programs, but you have to ask the Teaching Committee for a formal approval.

ECTS partial Code Reference sector Year COURSE ECTS course

12

 CM0500 SECS‑P/05 2 NETWORKS IN ECONOMICS AND SOCIAL SCIENCE 6
Type of educational activity: Final examination or foreign language knowledge [E]
ECTS partial Code Reference sector Year COURSE ECTS course

24

 CM0082 PROFIN_S 2 THESIS 24
Type of educational activity: Other [F]
ECTS partial Code Reference sector Year COURSE ECTS course

6

 CM0095 NN 2 TRAINEESHIP 6