logo_orizzontale_WHITE
PROGRAMMAZIONE DIDATTICA COORTE A.A. 2026/2027
CORSO DI LAUREA MAGISTRALE in 11964 COMPUTER SCIENCE (classe LM-18 )

SCHEDA INFORMATIVA

Sede amministrativa:  GE
Classe delle lauree in: 

Classe delle lauree magistrali in INFORMATICA (classe LM-18)

Durata:  2 anni
Indirizzo web:  https://corsi.unige.it/en/corsi/11964
Dipartimento di riferimento:  SEZIONE INTERSCUOLA DI SCIENZE MATEMATICHE, FISICHE E NATURALI DEL DIBRIS

PIANO DI STUDI

1° anno (coorte 2026/2027)

ARTIFICIAL INTELLIGENCE AND DATA ANALYTICS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
101804 DEEP LEARNING INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims for students to acquire knowledge and understanding of learning how to use deep learning algorithms, including classical approaches and very recent methodologies and paradigms, by grasping the underlying modeling, and computational issues; learning how to build and evaluate complex architectures by exploting different learning paradigms

-

61884 ADVANCED DATA MANAGEMENT INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims for students to acquire the theoretical, methodological, and technological fundamentals of data management for advanced data processing architectures, with a specific reference to large-scale distributed environments, like key elements of NoSQL systems, basic issues in parallel and distributed query processing, and data management for AI-driven applications.

-

90529 DATA VISUALIZATION INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit is intended to introduce learning basic principles from vision and human perception. Learning principles, methods, and techniques for effective visual analysis of data, including techniques for visualizing spatial, non-spatial, and temporal data

-

90498 MACHINE LEARNING INFO-01/A 9 9 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims for students to acquire knowledge and understanding of learning classical supervised and unsupervised machine learning algorithms, by grasping the underlying computational and modeling issues; learning how to set up a machine learning experiment to effectively learn from data

-

90520 DIGITAL SIGNAL PROCESSING INFO-01/A 9 9 CFU CARATTERIZZANTI Discipline Informatiche
The purpose of the teaching unit is to explore learning the basic tools for the analysis of 1D signals in both the time/space and frequency domains.

-

101809 DISTRIBUTED COMPUTING INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims to introduce the fundamental design principles for distributed systems, in particular with respect to reliability, availability, and fault tolerance. A few chosen architectures are analyzed more in depth.

-

90524 INTERNET OF THINGS INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims to provide students with a general understanding of learning methods, protocols, architectures, and platforms for the development of distributed and mobile applications for the Internet of Things, including machine to machine protocols, distributed algorithms for fault tolerance and replication, service oriented architectures platforms, embedded operating systems, real time and streaming data, geolocation, and collaborative framework

-


6 CFU tra i seguenti insegnamenti:
121605 DATA-CENTRIC STUDIO INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The teaching unit aims for students to gain a practical perspective on data processing pipelines, from data acquisition to data analysis, based on edge computing and NoSQL systems; gaining hands-on experience through a realistic data-centric project

-

80412 GEOMETRIC MODELING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Learning theoretical foundations, techniques and methodologies for the representation and manipulation of solid objects, 2D and 3D scalar surfaces and fields, and related computational techniques. Learning computational techniques for resolving geometric problems (computational geometry and geometry processing). Reference applications: computer graphics, scientific visualization, CAD systems, geographic information systems, virtual reality.

-

108871 VIRTUAL, AUGMENTED AND EXTENDED REALITY INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The teaching unit aims to provide students with a general understanding of learning the theoretical and methodological fundamentals of Virtual, Augmented and Extended Reality, from the concepts of 3D Computational Vision to model the real-world world, to the synthesis of the virtual environments, and their fusion

-

 

6 CFU tra i seguenti insegnamenti:
121605 DATA-CENTRIC STUDIO INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit aims for students to gain a practical perspective on data processing pipelines, from data acquisition to data analysis, based on edge computing and NoSQL systems; gaining hands-on experience through a realistic data-centric project

-

80412 GEOMETRIC MODELING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
Learning theoretical foundations, techniques and methodologies for the representation and manipulation of solid objects, 2D and 3D scalar surfaces and fields, and related computational techniques. Learning computational techniques for resolving geometric problems (computational geometry and geometry processing). Reference applications: computer graphics, scientific visualization, CAD systems, geographic information systems, virtual reality.

-

108871 VIRTUAL, AUGMENTED AND EXTENDED REALITY INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit aims to provide students with a general understanding of learning the theoretical and methodological fundamentals of Virtual, Augmented and Extended Reality, from the concepts of 3D Computational Vision to model the real-world world, to the synthesis of the virtual environments, and their fusion

-

 

3 CFU tra i seguenti insegnamenti:
90549 ADDITIONAL USEFUL KNOWLEDGE 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro
The aim of the teaching unit is to provide foundational knowledge of acquiring additional useful knowledge on elements of enterprise culture, skill activities, basics of program management, as well as on personal interests related to the Master degree topics through research seminar attendance

-

114456 ITALIAN AS A FOREIGN LANGUAGE - COMP SCI LIFI-01/A 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro
L’insegnamento si propone di fornire ulteriori conoscenze della lingua e della cultura italiana, contribuendo al miglioramento delle competenze iniziali.

-

 

1° anno (coorte 2026/2027)

RELIABLE AND SECURE SOFTWARE SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
61884 ADVANCED DATA MANAGEMENT INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims for students to acquire the theoretical, methodological, and technological fundamentals of data management for advanced data processing architectures, with a specific reference to large-scale distributed environments, like key elements of NoSQL systems, basic issues in parallel and distributed query processing, and data management for AI-driven applications.

-

90535 HIGH PERFORMANCE COMPUTING INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit is intended to introduce learning the main aspects of modern, heterogeneous high-performance computing systems (pipeline/superscalar processors,shared-memory/message-passing multiprocessor systems, vector processors, GPUs) and basic programming skills for high-performance computing (cache optimization, vectorization, use of OpenMP, MPI, CUDA)

-

90498 MACHINE LEARNING INFO-01/A 9 9 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims for students to acquire knowledge and understanding of learning classical supervised and unsupervised machine learning algorithms, by grasping the underlying computational and modeling issues; learning how to set up a machine learning experiment to effectively learn from data

-

101809 DISTRIBUTED COMPUTING INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims to introduce the fundamental design principles for distributed systems, in particular with respect to reliability, availability, and fault tolerance. A few chosen architectures are analyzed more in depth.

-

90524 INTERNET OF THINGS INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims to provide students with a general understanding of learning methods, protocols, architectures, and platforms for the development of distributed and mobile applications for the Internet of Things, including machine to machine protocols, distributed algorithms for fault tolerance and replication, service oriented architectures platforms, embedded operating systems, real time and streaming data, geolocation, and collaborative framework

-

121619 FORMAL METHODS INFO-01/A 9 9 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit offers an introduction to formal, logically grounded, techniques to ensure the correctness of software systems. It intends to provide participants with the ability to (a) master basic concepts and results about type theories, understanding their connection with logic via the proofs-as-programs correspondence, (b) master basic concepts and results about model checking, understanding the notion of model, specification and model-checking algorithm, (c) use advanced type systems to write correct-by-construction programs, (d) use (linear and branching time) temporal logics to specify and verify software systems, (e) critically evaluate when to apply formal methods and how they complement other techniques.

-

121620 AI-AUGMENTED SOFTWARE ENGINEERING INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims to provide an overview of the use of artificial intelligence, in particular large language models (LLMs) and agentic systems, in the context of software engineering. During the course, students learn and put into practice techniques for interacting with such models and for evaluating the results, developing prototypes to support activities of requirements analysis, design, implementation, testing, and debugging of software. Particular attention is devoted to the construction of workflows and tools based on LLMs, also through the integration of local models and external services, and to the practical experimentation of their capabilities in the context of software engineering.

-


6 CFU tra i seguenti insegnamenti:
121621 SOFTWARE QUALITY AND AUTOMATED TESTING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The teaching unit aims to provide students with a solid understanding of the fundamentals of software quality and test automation, and to familiarize them with manual and automated tools used to support testing practices. Students will be able to: (a) understand the fundamental principles of software quality and their role in modern software engineering; (b) design and apply systematic testing strategies; (c) develop and maintain automated test suites using standard tools and frameworks; (d) apply practices supporting continuous integration; (e) evaluate software systems with respect to quality attributes such as performance, reliability, security, modularity, and usability.

-

101807 SOFTWARE SYSTEMS DESIGN AND MODELLING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The teaching unit is intended to introduce learning through practical experience the basic conceptual tools for the design and modelling of software systems, and acquiring communication skills and lifelong learning capabilities

-

 

6 CFU tra i seguenti insegnamenti:
121605 DATA-CENTRIC STUDIO INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit aims for students to gain a practical perspective on data processing pipelines, from data acquisition to data analysis, based on edge computing and NoSQL systems; gaining hands-on experience through a realistic data-centric project

-

121622 MINI-COURSES INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The aim of this teaching unit is to provide flexible learning opportunities that allow participants to deepen or broaden their knowledge in specific areas of Computer Science. Participants may select among short teaching units, seminars, guided projects, workshops, or other academic activities. These activities may be proposed by the degree programme or suggested by participants. All activities must be consistent with the educational objectives of the programme and are subject to approval by the programme board. The teaching unit promotes autonomous learning, interdisciplinary exploration, and engagement with emerging topics and practical applications

-

90530 NETWORK ANALYSIS INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The aim of the teaching unit is to provide the foundational knowledge of algorithms and techniques for large scale network analysis, including centrality metrics, algorithms for community detection, graph properties for random, small-world, and scale free graphs, metrics for robustness and resiliency, epidemic spreading and social contagion.

-

121621 SOFTWARE QUALITY AND AUTOMATED TESTING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit aims to provide students with a solid understanding of the fundamentals of software quality and test automation, and to familiarize them with manual and automated tools used to support testing practices. Students will be able to: (a) understand the fundamental principles of software quality and their role in modern software engineering; (b) design and apply systematic testing strategies; (c) develop and maintain automated test suites using standard tools and frameworks; (d) apply practices supporting continuous integration; (e) evaluate software systems with respect to quality attributes such as performance, reliability, security, modularity, and usability.

-

101807 SOFTWARE SYSTEMS DESIGN AND MODELLING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit is intended to introduce learning through practical experience the basic conceptual tools for the design and modelling of software systems, and acquiring communication skills and lifelong learning capabilities

-

 

3 CFU tra i seguenti insegnamenti:
90549 ADDITIONAL USEFUL KNOWLEDGE 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro
The aim of the teaching unit is to provide foundational knowledge of acquiring additional useful knowledge on elements of enterprise culture, skill activities, basics of program management, as well as on personal interests related to the Master degree topics through research seminar attendance

-

114456 ITALIAN AS A FOREIGN LANGUAGE - COMP SCI LIFI-01/A 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro
L’insegnamento si propone di fornire ulteriori conoscenze della lingua e della cultura italiana, contribuendo al miglioramento delle competenze iniziali.

-

 

2° anno (coorte 2026/2027)

ARTIFICIAL INTELLIGENCE AND DATA ANALYTICS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
90545 SYMBOLIC AND DISTRIBUTED ARTIFICIAL INTELLIGENCE INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit is intended to introduce learning the foundations of symbolic (or "classical") Artificial Intelligence, and the concepts of agent and multiagent system as representatives of the Distributed Artificial Intelligence paradigm. Learn how to design intelligent autonomous agents and how to deal with the main implementation issues

-

90539 COMPUTATIONAL VISION INFO-01/A 9 9 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims for students to acquire knowledge and understanding of learning the fundamental principles of computer vision, ranging from low-level algorithms to high-level approaches based on deep learning

-


6 CFU tra i seguenti insegnamenti:
90535 HIGH PERFORMANCE COMPUTING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The teaching unit is intended to introduce learning the main aspects of modern, heterogeneous high-performance computing systems (pipeline/superscalar processors,shared-memory/message-passing multiprocessor systems, vector processors, GPUs) and basic programming skills for high-performance computing (cache optimization, vectorization, use of OpenMP, MPI, CUDA)

-

90541 NATURAL LANGUAGE PROCESSING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The purpose of the teaching unit is to explore learning how to process and represent natural language, and becoming familiar with the most relevant approaches and software tools to understand and generate natural language

-

114470 SEQUENTIAL PREDICTION AND REINFORCEMENT LEARNING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The aim of the teaching unit is to provide foundational knowledge of learning how to use sequential and reinforcement learning algorithms by grasping the underlying computational and modeling issues

-

 

6 CFU tra i seguenti insegnamenti:
90535 HIGH PERFORMANCE COMPUTING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit is intended to introduce learning the main aspects of modern, heterogeneous high-performance computing systems (pipeline/superscalar processors,shared-memory/message-passing multiprocessor systems, vector processors, GPUs) and basic programming skills for high-performance computing (cache optimization, vectorization, use of OpenMP, MPI, CUDA)

-

90541 NATURAL LANGUAGE PROCESSING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The purpose of the teaching unit is to explore learning how to process and represent natural language, and becoming familiar with the most relevant approaches and software tools to understand and generate natural language

-

114470 SEQUENTIAL PREDICTION AND REINFORCEMENT LEARNING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The aim of the teaching unit is to provide foundational knowledge of learning how to use sequential and reinforcement learning algorithms by grasping the underlying computational and modeling issues

-

 
90537 FINAL DISSERTATION 30 30 CFU PROVA FINALE Per la Prova Finale
The aim of the teaching unit is to provide foundational knowledge of being able to carry out autonomously a conspicuous project which could be of theoretical, computational, or experimental flavour. Being able to clearly describe the project and the obtained results in a written document

-

2° anno (coorte 2026/2027)

RELIABLE AND SECURE SOFTWARE SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
101810 CAPSTONE PROJECT INFO-01/A 9 9 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit aims to provide students with knowledge and skills through hands-on software development experience. Students work in large teams and follow an agile methodology, introduced during lectures, to create a working prototype on an application domain agreed upon each year.

-

108872 DECENTRALIZED SYSTEMS INFO-01/A 6 6 CFU CARATTERIZZANTI Discipline Informatiche
The teaching unit is intended to introduce the techniques and problems related to systems based on permissioned and permissionless blockchains, and decentralized systems in general, examining with particular attention the aspects related to security

-


6 CFU tra i seguenti insegnamenti:
121623 ADVANCED PROGRAMMING PARADIGMS INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The purpose of the teaching unit is to explore learning foundations of modern type systems and their practical application in emerging programming languages such as Rust and Typescript. Students will be able to (a) master formal concepts emerging in novel language features, (b) reason on formal models of core languages, (c) critically analyze the main characteristics of new programming languages

-

101811 BINARY ANALYSIS AND SECURE CODING INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The purpose of this unit is to learn how to write secure code, analyze the behavior and security properties of source and binary programs, and identify and fix vulnerabilities or apply corrective countermeasures.

-

90545 SYMBOLIC AND DISTRIBUTED ARTIFICIAL INTELLIGENCE INFO-01/A 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The teaching unit is intended to introduce learning the foundations of symbolic (or "classical") Artificial Intelligence, and the concepts of agent and multiagent system as representatives of the Distributed Artificial Intelligence paradigm. Learn how to design intelligent autonomous agents and how to deal with the main implementation issues

-

 

6 CFU tra i seguenti insegnamenti:
121623 ADVANCED PROGRAMMING PARADIGMS INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The purpose of the teaching unit is to explore learning foundations of modern type systems and their practical application in emerging programming languages such as Rust and Typescript. Students will be able to (a) master formal concepts emerging in novel language features, (b) reason on formal models of core languages, (c) critically analyze the main characteristics of new programming languages

-

101811 BINARY ANALYSIS AND SECURE CODING INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The purpose of this unit is to learn how to write secure code, analyze the behavior and security properties of source and binary programs, and identify and fix vulnerabilities or apply corrective countermeasures.

-

121622 MINI-COURSES INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The aim of this teaching unit is to provide flexible learning opportunities that allow participants to deepen or broaden their knowledge in specific areas of Computer Science. Participants may select among short teaching units, seminars, guided projects, workshops, or other academic activities. These activities may be proposed by the degree programme or suggested by participants. All activities must be consistent with the educational objectives of the programme and are subject to approval by the programme board. The teaching unit promotes autonomous learning, interdisciplinary exploration, and engagement with emerging topics and practical applications

-

90545 SYMBOLIC AND DISTRIBUTED ARTIFICIAL INTELLIGENCE INFO-01/A 6 6 CFU A SCELTA A Scelta dello Studente
The teaching unit is intended to introduce learning the foundations of symbolic (or "classical") Artificial Intelligence, and the concepts of agent and multiagent system as representatives of the Distributed Artificial Intelligence paradigm. Learn how to design intelligent autonomous agents and how to deal with the main implementation issues

-

 
90537 FINAL DISSERTATION 30 30 CFU PROVA FINALE Per la Prova Finale
The aim of the teaching unit is to provide foundational knowledge of being able to carry out autonomously a conspicuous project which could be of theoretical, computational, or experimental flavour. Being able to clearly describe the project and the obtained results in a written document

-

Note

The inclusion of Italian as a foreign language is mandatory for international students without sufficient knowledge of Italian language.