Theoretical Computer Science
L’innovazione nasce dalla teoria: questo curriculum ti darà gli strumenti per trasformare concetti matematici in soluzioni che cambiano il mondo.
Scarica la brochure del Curriculum TCS
Contesto Scientifico e Industriale
Il curriculum in Theoretical Computer Science per la laurea magistrale LM18 si colloca all'incrocio tra le fondamenta matematiche e computazionali dell’informatica e le sfide emergenti in ambito industriale. La crescente complessità dei problemi computazionali, la necessità di sicurezza nell’elaborazione dei dati e l'interesse verso modelli di calcolo innovativi hanno reso indispensabile la conoscenza approfondita di algoritmi, strutture matematiche e teorie computazionali. Questo curriculum forma esperti in grado di progettare e analizzare algoritmi complessi, affrontare problemi di ottimizzazione e sviluppare sistemi sicuri e intelligenti, competenze cruciali in settori come la crittografia, l’intelligenza artificiale e la sicurezza informatica. Le conoscenze acquisite consentono agli studenti di rispondere alle richieste di un mercato del lavoro avanzato, che include aziende high-tech, istituzioni finanziarie, laboratori di ricerca e centri di sviluppo che richiedono figure con competenze scientifiche e teoriche elevate.
Obiettivi Formativi
Il curriculum mira a fornire agli studenti una solida preparazione nelle aree fondamentali della Computer Science Teorica, tra cui complessità computazionale, crittografia e algoritmi quantistici, nonché conoscenze in campi interconnessi come l'ottimizzazione, l'intelligenza artificiale e la programmazione parallela. Gli obiettivi formativi sono orientati a sviluppare capacità analitiche e progettuali per modellare, risolvere e ottimizzare problemi complessi. Attraverso un percorso che integra lezioni teoriche con attività di laboratorio e stage, il programma guida gli studenti nello studio della logica, dei linguaggi formali e dei principi di computabilità, essenziali per comprendere la natura del calcolo e le sue applicazioni. Inoltre, gli studenti acquisiranno strumenti per interpretare le dinamiche degli algoritmi e applicare concetti teorici a casi reali, rendendoli in grado di collaborare e innovare nel contesto accademico e industriale avanzato.
Sbocchi Occupazionali
I laureati in Theoretical Computer Science sono ricercati per ruoli che richiedono capacità analitiche avanzate, come Algorithm Engineer, Research Scientist, Cryptography Expert e Computational Complexity Analyst. Potranno intraprendere una carriera nella ricerca accademica o applicata, lavorare in centri di innovazione e sviluppo, aziende di sicurezza informatica, fintech, intelligenza artificiale e nel settore dell’ottimizzazione. Le competenze acquisite aprono le porte a ruoli specializzati in ambito tecnologico e scientifico.
L’informatica oltre il codice
Il curriculum Theoretical Computer Science è particolarmente adatto a studenti con una solida formazione matematica, offrendo un percorso che integra in modo approfondito informatica teorica e discipline matematiche avanzate, fondamentali per l’analisi e la progettazione di algoritmi e modelli computazionali.
Dettaglio del Piano di Studi
Nome Completo Insegnamento |
S.S.D. |
CFU |
|
|
|
|
|
Primo Semestre |
|||
Algoritmi e Complessità |
INFO-01/A |
9 |
|
Crittografia |
INFO-01/A |
9 |
|
Logica Matematica per l’Informatica |
INFO-01/A |
6 |
|
Ulteriori Conoscenze Linguistiche |
==== |
3 |
|
Crediti a Scelta /oppure/ Quantum Computer Programming |
==== |
6 |
|
|
|
|
|
Secondo Semestre |
|||
Functional and Concurrent Programming Principles |
INFO-01/A |
6 |
|
Semantic Web |
INFO-01/A |
6 |
|
Analisi Numerica |
MATH/05-A |
6 |
|
Insegnamento a Scelta dal Seguente Gruppo F1: |
|
||
Quantum Information |
INFO-01/A |
6 |
|
Teoria dei Grafi |
MATH-02/B |
6 |
|
Principi della Programmazione Parallela |
INFO-01/A |
6 |
|
Sistemi Dinamici |
MATH-04/A |
6 |
|
|
|
|
|
Terzo Semestre |
|||
Quantum Algorithms e Laboratorio (modulare) modulo Quantum Algorithms modulo Laboratorio |
|
||
INFO-01/A |
6 |
||
INFO-01/A |
3 |
||
Linguaggi Formali |
INFO-01/A |
6 |
|
Ottimizzazione |
MATH/06-A |
6 |
|
Stages e tirocini |
==== |
6 |
|
Insegnamento a Scelta dal Seguente Gruppo F2: |
|
||
Advanced Topics in Mathematical Logic for Computer Science |
INFO-01/A |
6 |
|
Knowledge Representation and Reasoning |
INFO-01/A |
6 |
|
Computabilità |
INFO-01/A |
6 |
|
Game Theory |
MATH-06/A |
6 |
|
|
|
|
|
Quarto Semestre |
|||
Graphs and Hypergraphs |
MATH-02/B |
6 |
|
Crediti a Scelta dello Studente |
==== |
6 |
|
Prova finale |
==== |
18 |
|
|
|
|
|
TOTALE CFU |
|
120 |
|