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