PROGRAMMAZIONE DIDATTICA COORTE A.A. 2022/2023
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:  http://www.ingegneriainformatica.dibris.unige.it/
Dipartimento di riferimento:  SEZIONE INTERSCUOLA POLITECNICA DEL DIBRIS

PIANO DI STUDI

1° anno (coorte 2022/2023)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 6 6 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.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 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 "

-

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.

-

86795 INDUSTRIAL AUTOMATION ING-INF/04 9 9 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.

-

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.

-

80165 ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 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.

-

80155 OPERATIONS RESEARCH MAT/09 9 9 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.

-


6 CFU tra i seguenti insegnamenti:
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.

-

90529 DATA VISUALIZATION INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Learning principles, methods, and techniques for effective visual analysis of data, including techniques for visualizing both spatial and non-spatial data, principles from computer graphics and human perception.

-

 

1° anno (coorte 2022/2023)

CYBER-PHYSICAL SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80186 SYSTEM IDENTIFICATION ING-INF/04 6 6 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.

-

98436 CONTROL OF CYBER-PHYSICAL SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The goal of the course is to introduce the students to the problems related to the analysis, design and implementation of discrete time control systems for cyberphysical systems (CPS). Control of CPS arise in many different application domains including: process control, manufacturing machine control, robotics, automotive systems, aircraft control systems, critical infrastructure control (e.g. electric grid control, water resources control etc.) etc.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 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 "

-

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.

-

86795 INDUSTRIAL AUTOMATION ING-INF/04 9 9 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.

-

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.

-

80155 OPERATIONS RESEARCH MAT/09 9 9 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.

-

80169 REAL-TIME OPERATING SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
By attending the course, the student will learn how to deal with issues concerning real-time applications and real-time operative systems, real-time design and programming, embedded system.

-

1° anno (coorte 2022/2023)

INDUSTRIAL INFORMATICS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 6 6 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.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 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 "

-

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.

-

86795 INDUSTRIAL AUTOMATION ING-INF/04 9 9 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.

-

80155 OPERATIONS RESEARCH MAT/09 9 9 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.

-

86794 TRANSACTIONAL SYSTEMS & DATA WAREHOUSE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The first part of the course will focus on architectural aspects of transactional systems, query processing, transaction management and recovery. The second part will deal with the issues of data warehouse design, data mining and knowledge discovery techniques .The student will be able to apply the acquired skills in : Query processing Transaction management and recovery. Conceptual data warehouse project Fact and Snowflake models Logical data warehouse project Architecture of a Data Mart. Data mining and knowledge discovery techniques Frequent Pattern Analisys Classification techniques Decision tree and Bayesian Classifiers

-

80268 OPTIMISATION AND CONTROL OF LOGISTICS SYSTEMS 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

-

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.

-

1° anno (coorte 2022/2023)

SOFTWARE PLATFORMS AND CYBERSECURITY - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 6 6 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.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 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 "

-

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.

-

86795 INDUSTRIAL AUTOMATION ING-INF/04 9 9 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.

-

80155 OPERATIONS RESEARCH MAT/09 9 9 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.

-

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
Students will learn key elements in data protection and privacy: data privacy and anonymity, metrics and techniques; macro and microdata protection; data protection in outsourcing scenarios; privacy on the web; advanced access control. Students will be involved in project activities.

-


6 CFU tra i seguenti insegnamenti:
80165 ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 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.

-

98459 INTERNET INFRASTRUCTURE AND DATA CENTER TECHNOLOGY ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims to provide the student of an overall understanding of the architecture of the Internet, starting from its original setup, arriving to its complex and articulated organization of nowadays, and providing also the tools for understanding the dynamics of its continuous evolution. The structure of the Internet Governance is briefly depicted, with the goal of understanding which forces have to be balanced in order to drive the technological, economic and social evolution of the global network. The basic concepts of Distributed Systems and Cloud Computing will be briefly recapped (the student must have a sound knowledge of the principles from previous courses). The course will explore in depth mainly the industrial and economic aspects of CC, with special reference to the evolution of Information and Communication Technologies (ICT) since year 2000. Finally, the course aims to provide basic knowledge of the complex ICT infrastructures, describing the various logical modules of a Data Center, with special emphasis to energy efficiency and environmental impact.

-

86794 TRANSACTIONAL SYSTEMS & DATA WAREHOUSE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The first part of the course will focus on architectural aspects of transactional systems, query processing, transaction management and recovery. The second part will deal with the issues of data warehouse design, data mining and knowledge discovery techniques .The student will be able to apply the acquired skills in : Query processing Transaction management and recovery. Conceptual data warehouse project Fact and Snowflake models Logical data warehouse project Architecture of a Data Mart. Data mining and knowledge discovery techniques Frequent Pattern Analisys Classification techniques Decision tree and Bayesian Classifiers

-

 

2° anno (coorte 2022/2023)

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

-

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 SEMANTIC WEB AND LINKED DATA 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.

-

98463 ADVANCED ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at studying advanced artificial intelligence methodology for deductive reasoning, in particular some knowledge representation and automated reasoning languages and software for planning and scheduling, and their application to real-world problems, e.g. in Digital Health, a central research and application area in computer and biomedical engineering.

-


12 CFU tra i seguenti insegnamenti:
80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
What is an embedded system and what are its main characteristics. Introduction to the basic hardware needed for the realization of an embedded system. Architectures of processing systems. Specific architectures for embedded systems. Specific tools for developing code for embedded systems. Programming embedded systems. Communication protocols. Scheduling

-

80269 FORMAL LANGUAGES AND COMPILERS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The course objective is to provide the tools, both formal and practical, for the definition of programming languages ​​and their translators and provide application design skills and interoperable web systems in compliance with international standards. The course aims to provide a necessary preparation to the formation of the profiles of the Information Engineers skills that are emerging at national and European level.

-

86800 VIRTUALIZATION AND CLOUD COMPUTING ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
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 2 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.

-

 

2° anno (coorte 2022/2023)

CYBER-PHYSICAL SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale

-

80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
What is an embedded system and what are its main characteristics. Introduction to the basic hardware needed for the realization of an embedded system. Architectures of processing systems. Specific architectures for embedded systems. Specific tools for developing code for embedded systems. Programming embedded systems. Communication protocols. Scheduling

-

80551 TECHNOLOGIES FOR INDUSTRIAL AUTOMATION ING-INF/07 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The course describes the technologies and the solutions used for the Industrial Automation. The main items of the course are: different environment for IA (factory, continuous process, technological networks, building automation), instrumentation and actuators, Intelligent Field Devices, fieldbus, architectures for IA, Industry 4.0 (Smart Manufacturing).

-

98458 SMART SYSTEMS CONTROL AND APPLICATIONS 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.

-


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 2 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 tra i seguenti insegnamenti:
86798 MACHINE LEARNING AND DATA ANALYSIS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
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.

-

108862 ROBOTIC CYBER-PHYSICAL SYSTEMS 6

-

  98457 - COOPERATIVE ROBOTICS ING-INF/04 4 4 CFU A SCELTA A Scelta dello Studente
The goal of the course is to first introduce a modern task-priority based control of robotic systems such as dual arm robots, mobile manipulators, floating underwater vehicle-manipulator systems, which are all characterized by a high number of degrees of freedom. The framework is extended to the case where multiple robots need to work together, for example to manipulate and transport objects cooperatively.

-

  108865 - ROBOTICS FUNDAMENTALS ING-INF/04 2 2 CFU A SCELTA A Scelta dello Studente

-

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 2022/2023)

INDUSTRIAL INFORMATICS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale

-

80551 TECHNOLOGIES FOR INDUSTRIAL AUTOMATION ING-INF/07 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The course describes the technologies and the solutions used for the Industrial Automation. The main items of the course are: different environment for IA (factory, continuous process, technological networks, building automation), instrumentation and actuators, Intelligent Field Devices, fieldbus, architectures for IA, Industry 4.0 (Smart Manufacturing).

-

80172 METHODS AND MODELS FOR DECISION SUPPORT MAT/09 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Modeling and solving complex decision problems. Applications to manufacturing planning and scheduling and to logistics (network flow, location and vehicle routing). Integer programming, heuristic and metaheuristic models and methods for combinatorial optimization problems are studied. Fundamental concepts for solving multicriteria problems are introduced and multi-objective optimization methods are presented

-

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 2 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.

-

 
98458 SMART SYSTEMS CONTROL AND APPLICATIONS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
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.

-

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 2022/2023)

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

-

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.

-

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

-

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.

-


12 CFU tra i seguenti insegnamenti:
80170 CONCURRENT AND DISTRIBUTED PROGRAMMING ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The goals of this course are: 1) Acquire familiarity with cornerstone problems in concurrent and distributed programming; 2) Acquire familiarity with the tools provided by Java 2 Standard Edition (J2SE) to tackle those problems and their practical use.

-

80269 FORMAL LANGUAGES AND COMPILERS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The course objective is to provide the tools, both formal and practical, for the definition of programming languages ​​and their translators and provide application design skills and interoperable web systems in compliance with international standards. The course aims to provide a necessary preparation to the formation of the profiles of the Information Engineers skills that are emerging at national and European level.

-

80169 REAL-TIME OPERATING SYSTEMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
By attending the course, the student will learn how to deal with issues concerning real-time applications and real-time operative systems, real-time design and programming, embedded system.

-

80551 TECHNOLOGIES FOR INDUSTRIAL AUTOMATION ING-INF/07 6 6 CFU A SCELTA A Scelta dello Studente
The course describes the technologies and the solutions used for the Industrial Automation. The main items of the course are: different environment for IA (factory, continuous process, technological networks, building automation), instrumentation and actuators, Intelligent Field Devices, fieldbus, architectures for IA, Industry 4.0 (Smart Manufacturing).

-

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

-

 

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 2 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.

-