Classe LM-18

Registration year 2021/2022


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