Theoretical Computer Science
Innovation is born from theory: this curriculum gives you the tools to transform mathematical concepts into solutions that change the world.
Download the TCS Curriculum Brochure [Italian only]
Scientific and Industrial Context
The Theoretical Computer Science curriculum of the LM-18 Master’s Degree lies at the intersection between the mathematical and computational foundations of computer science and the emerging challenges of the industrial world. The increasing complexity of computational problems, the need for secure data processing, and the growing interest in innovative computational models have made in-depth knowledge of algorithms, mathematical structures, and computational theories essential. This curriculum trains experts capable of designing and analysing complex algorithms, addressing optimisation problems, and developing secure and intelligent systems—skills that are crucial in fields such as cryptography, artificial intelligence, and cybersecurity. The knowledge acquired enables students to meet the demands of an advanced job market that includes high-tech companies, financial institutions, research laboratories, and development centres seeking professionals with strong scientific and theoretical expertise.
Educational Objectives
The curriculum aims to provide students with a solid background in the core areas of Theoretical Computer Science, including computational complexity, cryptography, and quantum algorithms, as well as knowledge in interconnected fields such as optimisation, artificial intelligence, and parallel programming. The educational objectives are focused on developing analytical and design abilities for modelling, solving, and optimising complex problems. Through a programme that integrates theoretical lectures, laboratory activities, and internships, students are guided in the study of logic, formal languages, and computability principles, which are essential for understanding the nature of computation and its applications. Moreover, students will acquire tools for analysing algorithmic behaviour and applying theoretical concepts to real-world scenarios, enabling them to collaborate and innovate in advanced academic and industrial environments.
Career Opportunities
Graduates in Theoretical Computer Science are sought for positions requiring advanced analytical skills, such as Algorithm Engineer, Research Scientist, Cryptography Expert, and Computational Complexity Analyst. They may pursue careers in academic or applied research, innovation and development centres, cybersecurity companies, fintech, artificial intelligence, and optimisation sectors. The competencies acquired open the door to specialised roles in both technological and scientific domains.
Computer Science Beyond Code
The Theoretical Computer Science curriculum is particularly suitable for students with a strong mathematical background, offering a study path that deeply integrates theoretical computer science with advanced mathematical disciplines that are fundamental for the analysis and design of algorithms and computational models.
Study Plan Details
|
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 Liberi a Scelta /oppure/ Quantum Computer Programming |
==== |
6 |
|
|
|
|
|
|
|
Secondo Semestre |
|||
|
Functional and Concurrent Programming Principles |
INFO-01/A |
6 |
|
|
Semantic Web |
INFO-01/A |
6 |
|
|
Numerical Methods for Scientific Computing |
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 |
|
|
Advanced Topics in Mathematical Logic for Computer Science |
INFO/01-A |
6 |
|
|
Stages e tirocini |
==== |
6 |
|
|
Insegnamento a Scelta dal Seguente Gruppo F2: |
|
||
|
Ottimizzazione |
MATH-06/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 Liberi a Scelta dello Studente |
==== |
6 |
|
|
Prova finale |
==== |
18 |
|
|
|
|
|
|
|
TOTALE CFU |
|
120 |
|