LM-18 Computer Science - anno accademico 2025-2026
Piani di Completamento Consigliati (PCC)
I piani di completamento mirano a fornire alle studentesse e agli studenti una più chiara visione delle aree dell’informatica in cui potersi specializzare e ad indirizzarli verso la compilazione di un piano formativo culturalmente valido (e quindi automaticamente accettato), ferma restando la possibilità di comporre un piano formativo individuale che verrà valutato dalla Commissione Percorsi Formativi.
Come deliberato nel CAD del 21 dicembre 2022, a partire dall’A.A. 2023/24, sono stati rimossi i Curricula e proposti i Percorsi di Completamento Consigliati (nel seguito denominati brevemente PCC), che sono, in ordine alfabetico:
Nell’ALLEGATO 1 sono riportati gli insegnamenti caratterizzanti per ogni PCC. Nell’ALLEGATO 2 sono riportati gli insegnamenti affini, che sono comuni a tutti i PCC.
Si ricorda che, in base all’attuale ordinamento, un percorso formativo deve essere strutturato nel seguente modo:
Le studentesse e gli studenti sono incoraggiati a comporre il loro percorso formativo come segue:
https://mastercs.teaching.di.uniroma1.it/master-programme-in-computer-science/study-plans
Un percorso così costruito sarà approvato dalla Commissione Percorsi Formativi, dopo una valutazione del contenuto degli insegnamenti affini e a scelta inclusi nel piano di studi.
Qualora si voglia proporre un percorso formativo diverso da quello così strutturato, si potrà procedere seguendo una delle due seguenti opzioni:
Un percorso così costruito dovrà essere esaminato dalla Commissione Percorsi Formativi e non sarà necessariamente approvato.
ALLEGATO 1/ANNEX 1 - PCC/RCPs
Nel seguito si riportano gli insegnamenti caratterizzanti dei PCC proposti. Tra parentesi il numero di CFU relativi agli insegnamenti caratterizzanti.
The following are the characterizing (i.e., core disciplinary) courses of the proposed RCPs. The number of CFUs relating to the characterizing courses is shown in brackets.
Algorithms (36 CFU)
ADVANCED ALGORITHMS
COMPUTATIONAL COMPLEXITY
CRYPTOGRAPHY
GRAPH THEORY
NETWORK ALGORITHMS
QUANTUM COMPUTING
Artificial Intelligence (30 CFU)
ADVANCED MACHINE LEARNING AND COMPUTER VISION
BIG DATA COMPUTING
COMPUTER VISION
DEEP LEARNING AND APPLIED ARTIFICIAL INTELLIGENCE
NATURAL LANGUAGE PROCESSING
Computational Models for Systems Design (30 CFU)
AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS
CONCURRENT SYSTEMS
FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING
LOGICS AND REASONING
MODELS OF COMPUTATION
Data Science (30 CFU)
ADVANCED MACHINE LEARNING AND COMPUTER VISION
BIG DATA COMPUTING
CLOUD COMPUTING
DATA AND NETWORK SECURITY
FOUNDATIONS OF DATA SCIENCE
Multimedia Computing and Interaction (36 CFU)
BIOMETRIC SYSTEMS
COMPUTER VISION
DEEP LEARNING AND APPLIED ARTIFICIAL INTELLIGENCE
HUMAN-COMPUTER INTERACTION ON THE WEB
MULTIMODAL INTERACTION
NATURAL LANGUAGE PROCESSING
Networks and Systems (42 CFU)
ADVANCED ARCHITECTURES
AUTONOMOUS NETWORKING
CLOUD COMPUTING
COMPUTER NETWORK PERFORMANCE
DISTRIBUTED SYSTEMS
HIGH PERFORMANCE COMPUTING
INTERNET OF THINGS
Security (36 CFU)
BIOMETRIC SYSTEMS
BLOCKCHAIN AND DISTRIBUTED LEDGER TECHNOLOGIES
CRYPTOGRAPHY
DATA AND NETWORK SECURITY
PRACTICAL NETWORK DEFENSE
SECURITY IN SOFTWARE APPLICATIONS
Software Engineering (36 CFU)
ADVANCED ALGORITHMS
ADVANCED SOFTWARE ENGINEERING
AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS
BLOCKCHAIN AND DISTRIBUTED LEDGER TECHNOLOGIES
SECURITY IN SOFTWARE APPLICATIONS
FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING
ALLEGATO 2/ANNEX 2
Insegnamenti Affini/Complementary Courses
ADVANCED ALGORITHMS
ADVANCED ARCHITECTURES
ADVANCED MACHINE LEARNING AND COMPUTER VISION
ADVANCED SOFTWARE ENGINEERING
AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS
AUTONOMOUS NETWORKING
BIG DATA COMPUTING
BIOMETRIC SYSTEMS
BLOCKCHAIN AND DISTRIBUTED LEDGER TECHNOLOGIES
CLOUD COMPUTING
COMPUTATIONAL COMPLEXITY
COMPUTER NETWORK PERFORMANCE
COMPUTER VISION
CONCURRENT SYSTEMS
CRYPTOGRAPHY
DATA AND NETWORK SECURITY
DATA-DRIVEN MODELING OF COMPLEX SYSTEMS
DEEP LEARNING AND APPLIED ARTIFICIAL INTELLIGENCE
DISTRIBUTED SYSTEMS
ETHICAL HACKING
FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING
FOUNDATIONS OF DATA SCIENCE
GRAPH THEORY
HIGH PERFORMANCE COMPUTING
HUMAN COMPUTER INTERACTION ON THE WEB
INTERNET OF THINGS
LOGICS AND REASONING
METHODS IN COMPUTER SCIENCE EDUCATION
MODELS OF COMPUTATION
MULTIMODAL INTERACTION
NATURAL LANGUAGE PROCESSING
NETWORK ALGORITHMS
PRACTICAL NETWORK DEFENSE
QUANTUM COMPUTING
SECURITY IN SOFTWARE APPLICATIONS