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