CLASSE LM-32

Registration year 2020/2021


The total number of Number of ECTS credits allocated is 120.


Training activities Curriculum
Year Credits TTA Activity Academic year of attendance
1° 2° 12  B Foundations of programming and specification languages (ING-INF/05) 2020/2021
1° 2° 12  B Problems solving: Algorithms and Complexity (ING-INF/05) 2020/2021
1° 2° 24  B
4 modules among the following:
Available modules Credits Academic year of attendance
Foundations of Artificial Intelligence (ING-INF/05) 6 2020/2021
Foundations of information systems (ING-INF/05) 6 2020/2021
Foundations of Security and Privacy (ING-INF/05) 6 2020/2021
Foundations of software analysis and verification (ING-INF/05) 6 2020/2021
Foundations of software engineering (ING-INF/05) 6 2020/2021
Fundamentals of Machine Learning (ING-INF/05) 6 2020/2021
1° 2° 12  C
2 modules among the following:
Available modules Credits Academic year of attendance
Algorithmic Game Theory (INF/01) 6 2020/2021
Automated reasoning (INF/01) 6 2020/2021
Automated System Verification (INF/01) 6 2020/2021
Cryptography (INF/01) 6 2020/2021
Data Mining and Knowledge Discovery (INF/01) 6 2020/2021
Graphics Programming (INF/01) 6 2020/2021
High performance software design in C++ (INF/01) 6 2020/2021
Information Systems (INF/01) 6 2020/2021
Knowledge representation (INF/01) 6 2020/2021
Logic in computer science (INF/01) 6 2020/2021
Malware (INF/01) 6 2020/2021
Network security (INF/01) 6 2020/2021
Parallel Programming (INF/01) 6 2020/2021
Quantum Computing (INF/01) 6 2020/2021
Visual intelligence (INF/01) 6 2020/2021
Web Applications (INF/01) 6 2020/2021
Big data (INF/01) 6 2020/2021
Ottimizzazione (INF/01) 6 2020/2021
Software security (INF/01) 6 2020/2021
Teoria dei grafi (INF/01) 6 2020/2021
1° 2° 18  C
3 modules among the following:
Available modules Credits Academic year of attendance
Algorithmic Game Theory (INF/01) 6 2020/2021
Automated reasoning (INF/01) 6 2020/2021
Automated System Verification (INF/01) 6 2020/2021
Cryptography (INF/01) 6 2020/2021
Data Mining and Knowledge Discovery (INF/01) 6 2020/2021
Graphics Programming (INF/01) 6 2020/2021
High performance software design in C++ (INF/01) 6 2020/2021
Information Systems (INF/01) 6 2020/2021
Knowledge representation (INF/01) 6 2020/2021
Logic in computer science (INF/01) 6 2020/2021
Malware (INF/01) 6 2020/2021
Network security (INF/01) 6 2020/2021
Organization Studies (SECS-P/10) 6 2020/2021
Parallel Programming (INF/01) 6 2020/2021
Quantum Computing (INF/01) 6 2020/2021
Visual intelligence (INF/01) 6 2020/2021
Web Applications (INF/01) 6 2020/2021
Big data (INF/01) 6 2020/2021
Ottimizzazione (INF/01) 6 2020/2021
Software security (INF/01) 6 2020/2021
Teoria dei grafi (INF/01) 6 2020/2021
1° 2° F English language B2 level  
1° 2° 12  D Activities to be chosen by the student  
1° 2° F Other activities  
 
24  E Final exam  

Legend
Type of training activity (TTA)
A Basic activities
B Characterizing activities
C Related or complementary activities
D Activities to be chosen by the student
E Final examination
F Other activitites
S Placements in companies, public or private institutions and professional associations
Specific activities of this program Specific activities of this program
   




© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234