PROGRAMMAZIONE DIDATTICA COORTE A.A. 2023/2024
CORSO DI LAUREA MAGISTRALE in 11160 COMPUTER ENGINEERING (classe LM-32)

SCHEDA INFORMATIVA

Sede amministrativa:  GE
Classe delle lauree in: 

Classe delle lauree magistrali in INGEGNERIA INFORMATICA (classe LM-32)

Durata:  2 anni
Indirizzo web:  https://corsi.unige.it/en/corsi/11160
Dipartimento di riferimento:  SEZIONE INTERSCUOLA POLITECNICA DEL DIBRIS

PIANO DI STUDI

1° anno (coorte 2023/2024)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80158 HUMAN COMPUTER INTERACTION ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course provides the student with the methodology, the theory, and the techniques for the design of interactive products to support the way people communicate and interact in their everyday and working lives. This relies on the mastery of the development process for the understanding of the capabilities and desires of people and on the kinds of technology available to interaction designers, together with a knowledge of how to identify requirements and develop them into a suitable design. The course will cover standard techniques as well as an introduction to advanced topics, including sound and music computing (as a complementary component of visual and haptic interfaces), and emotional and social interfaces. A coursework devoted to the realization of the development process of a concrete interaction design project of an interactive product will be implemented during the whole semester, in a simulated working environment typical of Startups. Further, students will learn to design and manage motion capture sessions using the Qualisys industry standard motion capture system available at Casa Paganini-InfoMus. Finally, students will learn techniques to present their results, including elevator pitches and reporting to stakeholders.

-

86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Students will be provided with advanced skills related to machine learning and data analysis. Students will learn insights on machine learning and data analysis methodologies and a series of real world applications.

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Upon completion of the course, students will be able to: explain the concepts of confidentiality, availability, and integrity (CIA) as well as the concepts of threat, vulnerability, exploit and (cyber-)risk and (cyber-)risk mitigation; explain the strengths and weaknesses of cryptographic techniques as well as their role in protecting data at rest and in transit, in implementing the concept of digital signature and in supporting the design of security protocols; explain the security model of web browsers and identify the most relevant vulnerabilities of web applications; explain the causes and effects of buffer overflows in executable programs; explain the key principles of access control in information systems and most relevant access control models and mechanisms.

-

61884 ADVANCED DATA MANAGEMENT INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Students will be provided with a sound grounding on theoretical, methodological, and technological fundamentals concerning data management for advanced data processing architectures, with a specific reference to large-scale distributed environments. Students will learn key elements of NoSQL and stream-based systems as well as basic issues in parallel and distributed query processing, multi-query processing, and high-throughput transactional systems. Students will be involved in project activities.

-

111095 INDUSTRIAL AUTOMATION ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at providing the modeling and methodological tools for the formalization and resolution of some important decision-making and management problems in the context of industrial systems. During the course, planning, scheduling and control problems will be formalized and solved according to the framework proposed by the ANSI/ISA-95 international standard. Special focus will be devoted to the primary and support functions given by the Manufacturing Execution System (MES). At the end of the course, the student will be able to position an industrial automation problem in the context of ANSI/ISA-95 and to formalize and to solve decision-making problems, using proper methods and tools.

-

111097 OPERATIONS RESEARCH MAT/09 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The Course introduces to optimization models and methods for the solution of decision problems. It is structured in the main topics of problem modelling, computational tractability, and solution by means of algorithms that can be implemented on a computer. Several applications are considered and various case studies are detailed. The target of the Course consists in making the students acquire the expertise to face decision problems by means of models and methods that can operate in the presence of limited resources. The students will be taught to: understanding and modelling a decision process in terms of an optimization problem by defining the decision variables, the cost function to be minimized (or the figure of merit to be maximized), and the constraints; framing the obtained problem within the range of the reference optimization problems (linear/nonlinear, discrete/continuous, deterministic/stochastic, static/dynamic, etc); achieving the matching between the corresponding solving algorithm and a suitable software.

-

111100 SOFTWARE ENGINEERING LAB ING-INF/05 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro

-

111102 SOFTWARE ENGINEERING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Software Engineering is a discipline that rules every aspect of the software development process. In other word is the application of Engineering to the Software. It is concerned with requirement specification, design, models, writing documentation and also writing unit tests, not just coding. Moreover it also provide metrics to quantify the quality of the product, i.e. the software developed. Software Development Templates, Requirement Analysis, UML Modeling Systems, Design Patterns, Verification and Validation, Time Template Specification Languages, Temporary Property Verification Algorithms, Modeling and Case Resolution using Model Checkers "

-

111103 ARTIFICIAL INTELLIGENCE ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
The goal of the course is to introduce students to topics in Artificial Intelligence, mostly on the “deductive” side of the discipline. Students will learn basics in propositional and first order logic and apply them in the context of knowledge representation and reasoning. Also the basic principles of heuristic search and planning in the context of full observability and deterministic action effects will be added on top of the basic capabilities for representation and reasoning.

-


12 CFU da acquisirsi dal 1° al 2° anno
111104 MOBILE SECURITY ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The course aims to introduce the main security mechanisms of mobile operating systems and applications and present the core techniques, methodologies and tools for the vulnerability assessment and penetration testing of Android and iOS applications. The course involves both lectures and practical sessions for students.

-

90530 NETWORK ANALYSIS INF/01 6 6 CFU A SCELTA A Scelta dello Studente
Learning algorithms and techniques for large scale graph analytics, including centrality measures, connected components, graph clustering, graph properties for random, small-world, and scale free graphs, graph metrics for robustness and resiliency, and graph algorithms for reference problems.

-

 

1° anno (coorte 2023/2024)

COMPLEX SYSTEMS ENGINEERING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
This course presents the fundamentals of embedded systems. After a brief review of the most relevant architectures, the course focuses on microcontroller programming for control applications, with a particular attention on peripheral configuration, real time and event-based programming techniques.

-

86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Students will be provided with advanced skills related to machine learning and data analysis. Students will learn insights on machine learning and data analysis methodologies and a series of real world applications.

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Upon completion of the course, students will be able to: explain the concepts of confidentiality, availability, and integrity (CIA) as well as the concepts of threat, vulnerability, exploit and (cyber-)risk and (cyber-)risk mitigation; explain the strengths and weaknesses of cryptographic techniques as well as their role in protecting data at rest and in transit, in implementing the concept of digital signature and in supporting the design of security protocols; explain the security model of web browsers and identify the most relevant vulnerabilities of web applications; explain the causes and effects of buffer overflows in executable programs; explain the key principles of access control in information systems and most relevant access control models and mechanisms.

-

90530 NETWORK ANALYSIS INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Learning algorithms and techniques for large scale graph analytics, including centrality measures, connected components, graph clustering, graph properties for random, small-world, and scale free graphs, graph metrics for robustness and resiliency, and graph algorithms for reference problems.

-

111095 INDUSTRIAL AUTOMATION ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at providing the modeling and methodological tools for the formalization and resolution of some important decision-making and management problems in the context of industrial systems. During the course, planning, scheduling and control problems will be formalized and solved according to the framework proposed by the ANSI/ISA-95 international standard. Special focus will be devoted to the primary and support functions given by the Manufacturing Execution System (MES). At the end of the course, the student will be able to position an industrial automation problem in the context of ANSI/ISA-95 and to formalize and to solve decision-making problems, using proper methods and tools.

-

111097 OPERATIONS RESEARCH MAT/09 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The Course introduces to optimization models and methods for the solution of decision problems. It is structured in the main topics of problem modelling, computational tractability, and solution by means of algorithms that can be implemented on a computer. Several applications are considered and various case studies are detailed. The target of the Course consists in making the students acquire the expertise to face decision problems by means of models and methods that can operate in the presence of limited resources. The students will be taught to: understanding and modelling a decision process in terms of an optimization problem by defining the decision variables, the cost function to be minimized (or the figure of merit to be maximized), and the constraints; framing the obtained problem within the range of the reference optimization problems (linear/nonlinear, discrete/continuous, deterministic/stochastic, static/dynamic, etc); achieving the matching between the corresponding solving algorithm and a suitable software.

-

111098 SYSTEM ENGINEERING LAB ING-INF/04 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro

-

111105 SYSTEM IDENTIFICATION AND OPTIMAL CONTROL 9

-

  111106 - SYSTEM IDENTIFICATION ING-INF/04 5 5 CFU CARATTERIZZANTI Ingegneria Informatica
The goal of the course is to provide methodologies and tools for designing systems’ models to be used for control, estimation, diagnosis, prediction, etc. Different identification methods are considered, both in a “black box” context (where the structure of the system is unknown), as well as in a “grey box” (uncertainty on parameters) one. Methods are provided for choosing the complexity of the models, for determining the values of their parameters, and to validate them. Moreover, state estimation problems are addressed and their connections with control and identification are considered.

-

  111107 - OPTIMAL CONTROL ING-INF/04 4 4 CFU CARATTERIZZANTI Ingegneria Informatica
Development of control techniques based on the minimization of cost functional LQR/LQT/LQG also relying on the identification/estimation theory

-


12 CFU da acquisirsi dal 1° al 2° anno
80158 HUMAN COMPUTER INTERACTION ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The course provides the student with the methodology, the theory, and the techniques for the design of interactive products to support the way people communicate and interact in their everyday and working lives. This relies on the mastery of the development process for the understanding of the capabilities and desires of people and on the kinds of technology available to interaction designers, together with a knowledge of how to identify requirements and develop them into a suitable design. The course will cover standard techniques as well as an introduction to advanced topics, including sound and music computing (as a complementary component of visual and haptic interfaces), and emotional and social interfaces. A coursework devoted to the realization of the development process of a concrete interaction design project of an interactive product will be implemented during the whole semester, in a simulated working environment typical of Startups. Further, students will learn to design and manage motion capture sessions using the Qualisys industry standard motion capture system available at Casa Paganini-InfoMus. Finally, students will learn techniques to present their results, including elevator pitches and reporting to stakeholders.

-

90545 MULTIAGENT SYSTEMS INF/01 6 6 CFU A SCELTA A Scelta dello Studente
Getting acquainted with the concept of an agent and multiagent system, and learning how to design intelligent autonomous agents and how to deal with the main implementation issues.

-

 

1° anno (coorte 2023/2024)

SOFTWARE PLATFORMS AND CYBERSECURITY - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Students will be provided with advanced skills related to machine learning and data analysis. Students will learn insights on machine learning and data analysis methodologies and a series of real world applications.

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Upon completion of the course, students will be able to: explain the concepts of confidentiality, availability, and integrity (CIA) as well as the concepts of threat, vulnerability, exploit and (cyber-)risk and (cyber-)risk mitigation; explain the strengths and weaknesses of cryptographic techniques as well as their role in protecting data at rest and in transit, in implementing the concept of digital signature and in supporting the design of security protocols; explain the security model of web browsers and identify the most relevant vulnerabilities of web applications; explain the causes and effects of buffer overflows in executable programs; explain the key principles of access control in information systems and most relevant access control models and mechanisms.

-

98460 SOFTWARE PLATFORMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Software Platforms is a fundamental module in the software development path. The development of complex software systems does not only require proficency in programming but also the knowledge of advanced models, paradigms and tools. Software Platforms describes the models, the paradigms and the tools which support Web Applications, Web Services and Microservices, and introduces the evolution toward serverless computing.

-

90538 DATA PROTECTION & PRIVACY ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica

-

111095 INDUSTRIAL AUTOMATION ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at providing the modeling and methodological tools for the formalization and resolution of some important decision-making and management problems in the context of industrial systems. During the course, planning, scheduling and control problems will be formalized and solved according to the framework proposed by the ANSI/ISA-95 international standard. Special focus will be devoted to the primary and support functions given by the Manufacturing Execution System (MES). At the end of the course, the student will be able to position an industrial automation problem in the context of ANSI/ISA-95 and to formalize and to solve decision-making problems, using proper methods and tools.

-

111097 OPERATIONS RESEARCH MAT/09 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The Course introduces to optimization models and methods for the solution of decision problems. It is structured in the main topics of problem modelling, computational tractability, and solution by means of algorithms that can be implemented on a computer. Several applications are considered and various case studies are detailed. The target of the Course consists in making the students acquire the expertise to face decision problems by means of models and methods that can operate in the presence of limited resources. The students will be taught to: understanding and modelling a decision process in terms of an optimization problem by defining the decision variables, the cost function to be minimized (or the figure of merit to be maximized), and the constraints; framing the obtained problem within the range of the reference optimization problems (linear/nonlinear, discrete/continuous, deterministic/stochastic, static/dynamic, etc); achieving the matching between the corresponding solving algorithm and a suitable software.

-

111100 SOFTWARE ENGINEERING LAB ING-INF/05 3 3 CFU ALTRE ATTIVITA' Altre Conoscenze Utili per l'Inserimento Nel Mondo del Lavoro

-

111102 SOFTWARE ENGINEERING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Software Engineering is a discipline that rules every aspect of the software development process. In other word is the application of Engineering to the Software. It is concerned with requirement specification, design, models, writing documentation and also writing unit tests, not just coding. Moreover it also provide metrics to quantify the quality of the product, i.e. the software developed. Software Development Templates, Requirement Analysis, UML Modeling Systems, Design Patterns, Verification and Validation, Time Template Specification Languages, Temporary Property Verification Algorithms, Modeling and Case Resolution using Model Checkers "

-

111103 ARTIFICIAL INTELLIGENCE ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
The goal of the course is to introduce students to topics in Artificial Intelligence, mostly on the “deductive” side of the discipline. Students will learn basics in propositional and first order logic and apply them in the context of knowledge representation and reasoning. Also the basic principles of heuristic search and planning in the context of full observability and deterministic action effects will be added on top of the basic capabilities for representation and reasoning.

-


12 CFU da acquisirsi dal 1° al 2° anno
101812 DIGITAL FORENSICS INF/01 6 6 CFU A SCELTA A Scelta dello Studente
Learning how to conduct digital investigations, following the standard process involving identification, acquisition, storage, and analysis of digital evidence.

-

111104 MOBILE SECURITY ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The course aims to introduce the main security mechanisms of mobile operating systems and applications and present the core techniques, methodologies and tools for the vulnerability assessment and penetration testing of Android and iOS applications. The course involves both lectures and practical sessions for students.

-

 

2° anno (coorte 2023/2024)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale

-

108606 TRUSTWORTHY ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The aim of this course is to provide graduate students with fundamental and advanced concepts on the security of machine learning and trustworthy artificial intelligence. Part 1 of the course introduces the fundamentals of the security of machine learning, the related field of adversarial machine learning, and some practical techniques to assess the vulnerability of machine-learning algorithms and to protect them from adversarial attacks. Part 2 introduces the international regulations behind the so called “trustworthy AI”, and the main techniques to design robust machine-learning algorithms which are fair, privacy preserving and whose operation can be explained at some extent to the final users. The course uses application examples including object recognition in images, biometric recognition, spam filtering, and malware detection

-

80164 MULTIMODAL SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
This course provides students with foundational conceptual knowledge, methodologies, and tools for designing, implementing, and evaluating computer systems that can capture, represent, and automatically analyze the behavior of their users (e.g., in terms of gesture, movement, facial expressions, speech) and interact with them by generating multisensory feedback (e.g., images, sounds, control of actuators) in real-time.

-

80459 AUGMENTED AND VIRTUAL REALITY ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
In this course, you will learn the fundamentals of Semantic Web technologies. You will learn how to collect information form linked data and metadata to represent knowledge an build knowledge bases, and how to access and benefit from semantic web technologies applied to smart applications in a H2020 perspective.

-


3 CFU tra i seguenti insegnamenti:
86746 ITALIAN LANGUAGE (FOR FOREIGN STUDENTS) - BRIEF L-FIL-LET/12 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche

-

94977 LINGUA INGLESE B2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Provide a level of knowledge and understanding of the English language equivalent to the B2.1 level of the European framework. At the end of the course the student will be able to: - understand the key topics of a complex text on both concrete and abstract topics, including technical discussions; - express themselves with a certain fluency and spontaneity, interacting with native speakers effortlessly for both parties; - produce a clear and detailed text on a wide range of topics and express an opinion on a topical issue, indicating the advantages and disadvantages of the different options.

-

 

12 CFU da acquisirsi dal 1° al 2° anno
90538 DATA PROTECTION & PRIVACY ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente

-

90535 HIGH PERFORMANCE COMPUTING INF/01 6 6 CFU A SCELTA A Scelta dello Studente
Learning the main aspects of modern high-performance computing systems (pipeline/superscalar processors,shared-memory/message-passing multiprocessors, vector processors, GPUs) and basic programming skills for high-performance computing (cache optimization, OpenMP, MPI, OpenCL).

-

 

2° anno (coorte 2023/2024)

COMPLEX SYSTEMS ENGINEERING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80268 LOGISTIC SYSTEMS PLANNING AND CONTROL ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims to provide methodologies and tools for optimizing and controlling logistic systems (intermodal networks, container terminals, logistic centers). Referring to the planning and organization of logistic systems, the student will learn how to: - identify the decision problem type - define the most appropriate mathematical model - define the most adequate solution methodology - choose a software solution for the problem - discuss the problem relevance/effects

-

98458 ADVANCED CONTROL SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at providing modeling and methodological approaches to sensing, actuation, and control in order to describe and analyze a system, and make decisions based on the available data in a distributed, predictive and/or adaptive manner, thereby performing “smart actions”. The student will approach such smart systems by studying proper models and methods in different applicative contexts, such as smart power grids, connected autonomous vehicles and platooning, energy efficient buildings, distributed logistics, and environmental monitoring.

-

80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale

-

108606 TRUSTWORTHY ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The aim of this course is to provide graduate students with fundamental and advanced concepts on the security of machine learning and trustworthy artificial intelligence. Part 1 of the course introduces the fundamentals of the security of machine learning, the related field of adversarial machine learning, and some practical techniques to assess the vulnerability of machine-learning algorithms and to protect them from adversarial attacks. Part 2 introduces the international regulations behind the so called “trustworthy AI”, and the main techniques to design robust machine-learning algorithms which are fair, privacy preserving and whose operation can be explained at some extent to the final users. The course uses application examples including object recognition in images, biometric recognition, spam filtering, and malware detection

-

80167 PRODUCTION SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Under the title 'Production Systems' one can place very many different problems. This course is related with the decomposition of a planning and control problem of a production systems in different subproblems. For any of the subproblems after a analysis process, a set of solving technques will be considered. Such solving techniques have to be integrated in possible solution of the 'main' production problem.

-


3 CFU tra i seguenti insegnamenti:
86746 ITALIAN LANGUAGE (FOR FOREIGN STUDENTS) - BRIEF L-FIL-LET/12 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche

-

94977 LINGUA INGLESE B2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Provide a level of knowledge and understanding of the English language equivalent to the B2.1 level of the European framework. At the end of the course the student will be able to: - understand the key topics of a complex text on both concrete and abstract topics, including technical discussions; - express themselves with a certain fluency and spontaneity, interacting with native speakers effortlessly for both parties; - produce a clear and detailed text on a wide range of topics and express an opinion on a topical issue, indicating the advantages and disadvantages of the different options.

-

 

12 CFU da acquisirsi dal 1° al 2° anno
80172 METHODS AND MODELS FOR DECISION SUPPORT MAT/09 6 6 CFU A SCELTA A Scelta dello Studente
The course aims at introducing the modelization and solution tools for complex decision problems: methods based on integer programming models, heuristics and metaheuristics for combinatorial optimization problems, the PERT method for Project Management are studied. Finally fundamental concepts for solving multi-criteria decision problems are introduced. Applications to manufacturing planning and scheduling and logistics (network flow, location and vehicle routing) will be considered.

-

80171 TECHNOLOGIES FOR WIRELESS NETWORKS ING-INF/03 6 6 CFU A SCELTA A Scelta dello Studente
The course aims to provide a framework for all major network technologies that use wireless (wireless) transmissions, considering application areas and architectures both from a structural and protocollary point of view. More specifically, the main objective is to provide knowledge and insight on the following topics: i) Introduction to architectures with the classification of wireless networks in mobile cellular systems, technologies for wireless local area networks (LAN) and Personal-Sensor-Body Area Networks (PAN, SAN, and BAN). ii) The cellular mobile radio networks from the second generation (2G-GSM) and evolutions (GPRS and EDGE), to the third generation (3G-UMTS) and the fourth (4G, LTE) for ending with the current 5G technology. iii) The standard for IEEE802.11 (Wi-Fi) WLAN networks, described in all its evolutions starting from version 11b up to version 11ax. iv) Personal communications through the Bluetooth standard, including the latest variants like Bluetooth low-power. The result of learning is to give the student, oriented to a specific field of Engineering, the ability to understand the different technologies of wireless networks and make effective design choices for their effective use.

-

 

2° anno (coorte 2023/2024)

SOFTWARE PLATFORMS AND CYBERSECURITY - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale

-

101811 BINARY ANALYSIS AND SECURE CODING INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Being able to write secure code, analyze the behavior and assess security properties of source and binary programs, pinpointing and fix their vulnerabilities or apply corrective counter-measures.

-

86799 DISTRIBUTED SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims to provide an understanding of the principles on which the Internet and other distributed systems are based; their architecture, algorithms and design; and how they meet the demands of contemporary distributed applications. 1. Distributed systems characterization 2. Coordination of distributed systems Physical and logical clock synchronization Distributed mutual exclusion Election algorithms and protocols 3. Consistency of distributed systems Data centric systems Client centric systems Consistency protocols 4. Resilience of distributed systems Distributed process pooling and resilience Reliable distributed communication services Distributed operation commit Recovery of faulty systems 5. Case studies Hyperledger permissioned blockchains Google distributed storage and computation In memory Distributed Data Store Office online collaboration platforms

-

86800 VIRTUALIZATION AND CLOUD COMPUTING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course provides the foundations of the main virtualization technologies at the state of the art. In detail, the course focuses on several types of virtualization, like Storage-level, OS-level, Application-level, and Enterprise-level virtualization. The course is mostly practical, with the aim to teach the student how to deal with current virtualization technologies to build actual virtualized architectures.

-


3 CFU tra i seguenti insegnamenti:
86746 ITALIAN LANGUAGE (FOR FOREIGN STUDENTS) - BRIEF L-FIL-LET/12 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche

-

94977 LINGUA INGLESE B2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Provide a level of knowledge and understanding of the English language equivalent to the B2.1 level of the European framework. At the end of the course the student will be able to: - understand the key topics of a complex text on both concrete and abstract topics, including technical discussions; - express themselves with a certain fluency and spontaneity, interacting with native speakers effortlessly for both parties; - produce a clear and detailed text on a wide range of topics and express an opinion on a topical issue, indicating the advantages and disadvantages of the different options.

-

 

12 CFU da acquisirsi dal 1° al 2° anno
90535 HIGH PERFORMANCE COMPUTING INF/01 6 6 CFU A SCELTA A Scelta dello Studente
Learning the main aspects of modern high-performance computing systems (pipeline/superscalar processors,shared-memory/message-passing multiprocessors, vector processors, GPUs) and basic programming skills for high-performance computing (cache optimization, OpenMP, MPI, OpenCL).

-

108606 TRUSTWORTHY ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The aim of this course is to provide graduate students with fundamental and advanced concepts on the security of machine learning and trustworthy artificial intelligence. Part 1 of the course introduces the fundamentals of the security of machine learning, the related field of adversarial machine learning, and some practical techniques to assess the vulnerability of machine-learning algorithms and to protect them from adversarial attacks. Part 2 introduces the international regulations behind the so called “trustworthy AI”, and the main techniques to design robust machine-learning algorithms which are fair, privacy preserving and whose operation can be explained at some extent to the final users. The course uses application examples including object recognition in images, biometric recognition, spam filtering, and malware detection

-