PROGRAMMAZIONE DIDATTICA COORTE A.A. 2019/2020
CORSO DI LAUREA MAGISTRALE in 8733 INGEGNERIA INFORMATICA (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 2019/2020)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80155 OPERATIONS RESEARCH MAT/09 9 9 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il Corso introduce a modelli e metodi di ottimizzazione utilizzabili per la soluzione di problemi decisionali. Si articola nei temi fondamentali della modellazione di problemi, dello studio della trattabilità computazionale e della risoluzione tramite algoritmi implementabili su un calcolatore. Vengono considerati vari contesti applicativi e sono trattati in dettaglio alcuni "case-study" in ambito informatico. Scopo del Corso è far acquisire le competenze che consentano di affrontare problemi applicativi, sviluppando modelli e metodi che operino in modo efficiente in presenza di risorse limitate. Agli studenti verrà insegnato a: interpretare e modellare un processo decisionale nei termini di un problema di ottimizzazione, individuando cioè le variabili decisionali, la funzione di costo da minimizzare (o la cifra di merito da massimizzare) e i vincoli; inquadrare il problema nella gamma dei problemi considerati “canonici” (lineari/non lineari, discreti/continui, deterministici/stocastici, statici/dinamici, ecc.); realizzare il "matching" tra l’algoritmo risolutivo (da scegliere tra quelli esistenti o da progettare) e un adeguato supporto software di elaborazione.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Modelli di sviluppo software, analisi dei requisiti, modellazione di sistemi tramite UML,design patterns,Verifica e Validazione, linguaggi per la specifica di proprietà temporali, algoritmi per la verifica di proprietà temporali, modellazione e risoluzione di casi utilizzando model checkers".

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
1. Introduction 2. Introduction to Cryptography 3. Symmetric Cryptography 4. Public-Key Cryptography 5. Message Authentication and Digital Signatures 6. Public Key Infrastructure (PKI) 7. Authentication Protocols 8. Internet Security 9. Secure Programming 10. Network Security 11. Web Security 12. Malware 13. Access Control

-

86795 METHODS AND TOOLS FOR 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.

-

86798 DATA ANALYSIS AND DATA MINING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Students will be provided with advanced skills related to data analysis. Students will learn insights on data mining methodologies and specificapplications of these methodologies to particular data organization.

-


6 CFU tra i seguenti insegnamenti:
101477 COMPUTER VISION INF/01 6

-

  86735 - COMPUTER VISION INF/01 5 5 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
This course presents the fundamentals in computer vision. Topics include camera modelling, camera calibration, image processing, pose estimation, multi view geometry, visual tracking, and vision based calibration.

-

  101476 - COMPUTER VISION LAB INF/01 1 1 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Experimental activities on the fundamentals in computer vision.

-

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 2019/2020)

LOGISTICS AND PRODUCTION - 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.

-

80155 OPERATIONS RESEARCH MAT/09 9 9 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il Corso introduce a modelli e metodi di ottimizzazione utilizzabili per la soluzione di problemi decisionali. Si articola nei temi fondamentali della modellazione di problemi, dello studio della trattabilità computazionale e della risoluzione tramite algoritmi implementabili su un calcolatore. Vengono considerati vari contesti applicativi e sono trattati in dettaglio alcuni "case-study" in ambito informatico. Scopo del Corso è far acquisire le competenze che consentano di affrontare problemi applicativi, sviluppando modelli e metodi che operino in modo efficiente in presenza di risorse limitate. Agli studenti verrà insegnato a: interpretare e modellare un processo decisionale nei termini di un problema di ottimizzazione, individuando cioè le variabili decisionali, la funzione di costo da minimizzare (o la cifra di merito da massimizzare) e i vincoli; inquadrare il problema nella gamma dei problemi considerati “canonici” (lineari/non lineari, discreti/continui, deterministici/stocastici, statici/dinamici, ecc.); realizzare il "matching" tra l’algoritmo risolutivo (da scegliere tra quelli esistenti o da progettare) e un adeguato supporto software di elaborazione.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Modelli di sviluppo software, analisi dei requisiti, modellazione di sistemi tramite UML,design patterns,Verifica e Validazione, linguaggi per la specifica di proprietà temporali, algoritmi per la verifica di proprietà temporali, modellazione e risoluzione di casi utilizzando model checkers".

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
1. Introduction 2. Introduction to Cryptography 3. Symmetric Cryptography 4. Public-Key Cryptography 5. Message Authentication and Digital Signatures 6. Public Key Infrastructure (PKI) 7. Authentication Protocols 8. Internet Security 9. Secure Programming 10. Network Security 11. Web Security 12. Malware 13. Access Control

-

86795 METHODS AND TOOLS FOR 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.

-

86794 TRANSACTIONAL SYSTEMS & DATA WAREHOUSE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso verterà su aspetti architetturali dei sistemi transazionali, gestione degli indici, processing delle query, gestione ed recovery delle transazioni. Nella seconda parte verranno affrontate le tematiche di progetto di data warehouse e le tecniche di data mining e knowledge discovery per il recupero di informazioni in grandi quantità di dati.

-

98460 SOFTWARE PLATFORMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso si pone come obiettivo generale quello di introdurre i paradigmi e le architetture di riferimento sui quali gli Ingegneri Informatici basano la progettazione e lo sviluppo di sistemi software complessi e come obiettivo specifico quello di analizzare il caso della realizzazione delle piattaforme software.

-

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.

-

1° anno (coorte 2019/2020)

NETWORKED CONTROL 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.

-

80155 OPERATIONS RESEARCH MAT/09 9 9 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il Corso introduce a modelli e metodi di ottimizzazione utilizzabili per la soluzione di problemi decisionali. Si articola nei temi fondamentali della modellazione di problemi, dello studio della trattabilità computazionale e della risoluzione tramite algoritmi implementabili su un calcolatore. Vengono considerati vari contesti applicativi e sono trattati in dettaglio alcuni "case-study" in ambito informatico. Scopo del Corso è far acquisire le competenze che consentano di affrontare problemi applicativi, sviluppando modelli e metodi che operino in modo efficiente in presenza di risorse limitate. Agli studenti verrà insegnato a: interpretare e modellare un processo decisionale nei termini di un problema di ottimizzazione, individuando cioè le variabili decisionali, la funzione di costo da minimizzare (o la cifra di merito da massimizzare) e i vincoli; inquadrare il problema nella gamma dei problemi considerati “canonici” (lineari/non lineari, discreti/continui, deterministici/stocastici, statici/dinamici, ecc.); realizzare il "matching" tra l’algoritmo risolutivo (da scegliere tra quelli esistenti o da progettare) e un adeguato supporto software di elaborazione.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Modelli di sviluppo software, analisi dei requisiti, modellazione di sistemi tramite UML,design patterns,Verifica e Validazione, linguaggi per la specifica di proprietà temporali, algoritmi per la verifica di proprietà temporali, modellazione e risoluzione di casi utilizzando model checkers".

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
1. Introduction 2. Introduction to Cryptography 3. Symmetric Cryptography 4. Public-Key Cryptography 5. Message Authentication and Digital Signatures 6. Public Key Infrastructure (PKI) 7. Authentication Protocols 8. Internet Security 9. Secure Programming 10. Network Security 11. Web Security 12. Malware 13. Access Control

-

86795 METHODS AND TOOLS FOR 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.

-

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.

-

86794 TRANSACTIONAL SYSTEMS & DATA WAREHOUSE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso verterà su aspetti architetturali dei sistemi transazionali, gestione degli indici, processing delle query, gestione ed recovery delle transazioni. Nella seconda parte verranno affrontate le tematiche di progetto di data warehouse e le tecniche di data mining e knowledge discovery per il recupero di informazioni in grandi quantità di dati.

-

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.

-

1° anno (coorte 2019/2020)

SOFTWARE AND COMPUTING PLATFORMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80155 OPERATIONS RESEARCH MAT/09 9 9 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il Corso introduce a modelli e metodi di ottimizzazione utilizzabili per la soluzione di problemi decisionali. Si articola nei temi fondamentali della modellazione di problemi, dello studio della trattabilità computazionale e della risoluzione tramite algoritmi implementabili su un calcolatore. Vengono considerati vari contesti applicativi e sono trattati in dettaglio alcuni "case-study" in ambito informatico. Scopo del Corso è far acquisire le competenze che consentano di affrontare problemi applicativi, sviluppando modelli e metodi che operino in modo efficiente in presenza di risorse limitate. Agli studenti verrà insegnato a: interpretare e modellare un processo decisionale nei termini di un problema di ottimizzazione, individuando cioè le variabili decisionali, la funzione di costo da minimizzare (o la cifra di merito da massimizzare) e i vincoli; inquadrare il problema nella gamma dei problemi considerati “canonici” (lineari/non lineari, discreti/continui, deterministici/stocastici, statici/dinamici, ecc.); realizzare il "matching" tra l’algoritmo risolutivo (da scegliere tra quelli esistenti o da progettare) e un adeguato supporto software di elaborazione.

-

80154 SOFTWARE ENGINEERING ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Modelli di sviluppo software, analisi dei requisiti, modellazione di sistemi tramite UML,design patterns,Verifica e Validazione, linguaggi per la specifica di proprietà temporali, algoritmi per la verifica di proprietà temporali, modellazione e risoluzione di casi utilizzando model checkers".

-

80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
1. Introduction 2. Introduction to Cryptography 3. Symmetric Cryptography 4. Public-Key Cryptography 5. Message Authentication and Digital Signatures 6. Public Key Infrastructure (PKI) 7. Authentication Protocols 8. Internet Security 9. Secure Programming 10. Network Security 11. Web Security 12. Malware 13. Access Control

-

86795 METHODS AND TOOLS FOR 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.

-

86798 DATA ANALYSIS AND DATA MINING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Students will be provided with advanced skills related to data analysis. Students will learn insights on data mining methodologies and specificapplications of these methodologies to particular data organization.

-

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.

-

98460 SOFTWARE PLATFORMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso si pone come obiettivo generale quello di introdurre i paradigmi e le architetture di riferimento sui quali gli Ingegneri Informatici basano la progettazione e lo sviluppo di sistemi software complessi e come obiettivo specifico quello di analizzare il caso della realizzazione delle piattaforme software.

-


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.

-

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.

-

86794 TRANSACTIONAL SYSTEMS & DATA WAREHOUSE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso verterà su aspetti architetturali dei sistemi transazionali, gestione degli indici, processing delle query, gestione ed recovery delle transazioni. Nella seconda parte verranno affrontate le tematiche di progetto di data warehouse e le tecniche di data mining e knowledge discovery per il recupero di informazioni in grandi quantità di dati.

-

 

2° anno (coorte 2019/2020)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi Propedeuticità
80164 MULTIMODAL SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso fornisce allo studente le basi per il progetto e lo sviluppo di interfacce uomo- macchina e di sistemi software avanzati, basati sull’interazione attraverso molteplici canali sensoriali e sulla elaborazione e comunicazione di contenuti audio e video. In particolare, viene affrontata la progettazione di interfacce naturali non di tipo desktop, incluse interfacce multimodali per sistemi mobili (tablet, smartphone), con esempi in vari contesti applicativi (consumer, salute, cultura, entertainment), anche attraverso esercitazioni sulla piattaforma EyesWeb (http://www.infomus.org/eyesweb_eng.php). " "Il corso è di norma in lingua italiana con materiali didattici in inglese. In presenza di studenti non di lingua italiana, il corso sarà in lingua inglese: In questo caso i docenti prevedono la possibilità' di fornire, su richiesta e in ore aggiuntive, supporto didattico specifico a studenti di lingua italiana con difficoltà con la lingua inglese.

-

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

-

94977 LINGUA INGLESE 2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Fornire un livello di conoscenza e comprensione della lingua inglese equivalente al livello B2.1 del quadro europeo. Alla fine del corso lo studente sarà in grado di: - comprendere gli argomenti chiave di un testo complesso su temi sia concreti che astratti, comprese discussioni tecniche; - esprimersi con una certa scioltezza e spontaneità, interagendo con parlanti nativi senza sforzo per entrambe le parti; - produrre un testo chiaro e dettagliato su un'ampia gamma di argomenti e esprimere un'opinione su un tema d'attualità, indicando vantaggi e svantaggi delle diverse opzioni.

-

98463 ADVANCED ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at studying the methodology at the interface between inductive and deductive reasoning techniques, and their integration to cope with real-world applications.

-


6 CFU tra i seguenti insegnamenti:
98462 KNOWLEDGE MANAGEMENT AND ENGINEERING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at investigating the major issues related to the management of knowledge, particularly with regard to data and information management and processing.

-

80459 SEMANTIC WEB TECHNOLOGIES: INNOVATION AND SMART APPLICATIONS 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.

-

 

12 CFU tra i seguenti insegnamenti:
80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
The goal of the course is to present advanced issues of artificial intelligence from the perspective of a computerized autonomous agent.

-

80474 MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The goal of the course is to consolidate elements of Computer and Systems Engineering acquired by the students along their careers, and to provide a uniform approach to Cyber-Physical Systems (CPS), i.e., engineered systems that are built from and depend upon the synergy of computational and physical components. In particular, the course is meant to introduce the students to the theory of Hybrid and Probabilistic Automata, and to lead them through hands-on-experience with state-ofthe-art simulation, synthesis and verification tools for CPS. At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes.

-

86805 SOFTWARE ARCHITECTURES FOR ROBOTICS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
A robot is a multi-purpose, multi-form and multifunction machine. It exhibits completely new and unique characteristics with respect to what it is for, how it is structured and what it is able to do. In order to cope with this diversity in form and function, software architectures for robots must be grounded on top of a model enforcing flexibility and efficiency well beyond those developed in other domain applications.

-

86800 VIRTUALIZATION AND CLOUD COMPUTING ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
Il corso affronterà le tematiche di virtualizzazione delle risorse in sistemi informativi complessi. Verranno presentate le soluzioni metodologiche e architetturali più recenti. Successivamente verrà studiato l'approccio basato sul cloud computing analizzando sia aspetti formali che soluzioni commerciali.

-

 

2° anno (coorte 2019/2020)

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

-

94977 LINGUA INGLESE 2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Fornire un livello di conoscenza e comprensione della lingua inglese equivalente al livello B2.1 del quadro europeo. Alla fine del corso lo studente sarà in grado di: - comprendere gli argomenti chiave di un testo complesso su temi sia concreti che astratti, comprese discussioni tecniche; - esprimersi con una certa scioltezza e spontaneità, interagendo con parlanti nativi senza sforzo per entrambe le parti; - produrre un testo chiaro e dettagliato su un'ampia gamma di argomenti e esprimere un'opinione su un tema d'attualità, indicando vantaggi e svantaggi delle diverse opzioni.

-

80172 METHODS AND MODELS FOR DECISION SUPPORT MAT/09 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Modellare e risolvere problemi decisionali complessi. Applicazioni al manufacturing planning e scheduling e alla logistica (network flow, location e vehicle routing). Sono studiati modelli e metodi di integer programming, euristiche e metaeuristiche per problemi di ottimizzazione combinatoria, il metodo PERT per il Project Management. Inoltre vengono introdotti concetti fondamentali per la soluzione di problemi multicriterio e di decision.

-

80167 PRODUCTION SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso riguarda la gestione ed il controllo di sistemi di produzione. In particolare: determinazione della capacità produttiva e dei colli di bottiglia Scheduling per la pianificazione delle commesse. M.R.P., tecniche Just-In-Time. Produzione multiprodotto con macchine flessibili

-

80268 OPTIMISATION AND CONTROL OF LOGISTICS SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso si propone di presentare le problematiche generali e di fornire le conoscenze di base riguardo alla teoria e alle tecnologie per l’ottimizzazione e il controllo di sistemi logistici

-


12 CFU tra i seguenti insegnamenti:
98459 INTERNET INFRASTRUCTURE AND CLOUD PLATFORMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
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.

-

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

-

80171 TECHNOLOGIES FOR WIRELESS NETWORKS ING-INF/03 6 6 CFU A SCELTA A Scelta dello Studente
• Fornire un inquadramento su tutte le tecnologie di rete più importanti che fanno uso di trasmissioni di tipo “wireless” (senza fili) considerando gli ambiti applicativi e le architetture sia dal punto di vista strutturale che protocollare • Approfondire alcune specifiche tecnologie di particolare interesse e diffusione, sia attuale che futura, quali le reti radiomobili e le reti di tipo Wireless LAN • Fornire indicazioni introduttive per identificare le possibilità di utilizzo attuale e a breve termine 48 102 delle diverse tecnologie di cui sopra in relazione ai diversi ambiti applicativi. • Delineare le principali soluzioni al problema della mobilità su reti a pacchetto (in tecnologia TCP/IP) in relazione alle tecnologie wireless descritte.

-

 

2° anno (coorte 2019/2020)

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

-

94977 LINGUA INGLESE 2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Fornire un livello di conoscenza e comprensione della lingua inglese equivalente al livello B2.1 del quadro europeo. Alla fine del corso lo studente sarà in grado di: - comprendere gli argomenti chiave di un testo complesso su temi sia concreti che astratti, comprese discussioni tecniche; - esprimersi con una certa scioltezza e spontaneità, interagendo con parlanti nativi senza sforzo per entrambe le parti; - produrre un testo chiaro e dettagliato su un'ampia gamma di argomenti e esprimere un'opinione su un tema d'attualità, indicando vantaggi e svantaggi delle diverse opzioni.

-

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.

-

98457 COOPERATIVE ROBOTICS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course presents modern task-priority based control approaches to complex robotic systems. A general framework capable of controlling robotic structures ranging from fixed-base arms to dual arm mobile manipulators is discussed. The same framework is extended to cooperative manipulation by multiple agents in a distributed way.

-


12 CFU tra i seguenti insegnamenti:
86799 DISTRIBUTED SYSTEMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
Il corso si propone di descrivere i principi, le tecnologie e gli algoritmi sui quali è basata l'architettura dei servizi su rete Internet e in generale in tutti i sistemi distribuiti. In particolare i contenuti del corso sono: 1. Caratterizzazione dei Sistemi Distribuiti 2. Metodi e strumenti di sincronizzazione (sincronizzazione di clock logici e fisici, mutua esclusione distribuita, algoritmi e protocolli per l'elezione di leader). Caso di studio: Hyperledger permissioned Blockchains 3. Metodi e strumenti per la consistenza dei sistemi distribuiti (piattaforme data centric, piattaforme client centric, protocolli per la consistenza). Caso di studio: piattaforma di collaborazione MS Office Online 4. Resilienza dei sistemi distribuiti (process pooling distribuito e sua resilienza, servizi di trasmissione dati affidabili, operation commit distribuito, ripristino di sistemi compromessi). Caso di studio: Piattaforma Google per calcolo e storage distribuito, Data Stores distribuiti.

-

80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
The goal of the course is to present advanced issues of artificial intelligence from the perspective of a computerized autonomous agent.

-

80474 MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
The goal of the course is to consolidate elements of Computer and Systems Engineering acquired by the students along their careers, and to provide a uniform approach to Cyber-Physical Systems (CPS), i.e., engineered systems that are built from and depend upon the synergy of computational and physical components. In particular, the course is meant to introduce the students to the theory of Hybrid and Probabilistic Automata, and to lead them through hands-on-experience with state-ofthe-art simulation, synthesis and verification tools for CPS. At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes.

-

 

2° anno (coorte 2019/2020)

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

-

86799 DISTRIBUTED SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso si propone di descrivere i principi, le tecnologie e gli algoritmi sui quali è basata l'architettura dei servizi su rete Internet e in generale in tutti i sistemi distribuiti. In particolare i contenuti del corso sono: 1. Caratterizzazione dei Sistemi Distribuiti 2. Metodi e strumenti di sincronizzazione (sincronizzazione di clock logici e fisici, mutua esclusione distribuita, algoritmi e protocolli per l'elezione di leader). Caso di studio: Hyperledger permissioned Blockchains 3. Metodi e strumenti per la consistenza dei sistemi distribuiti (piattaforme data centric, piattaforme client centric, protocolli per la consistenza). Caso di studio: piattaforma di collaborazione MS Office Online 4. Resilienza dei sistemi distribuiti (process pooling distribuito e sua resilienza, servizi di trasmissione dati affidabili, operation commit distribuito, ripristino di sistemi compromessi). Caso di studio: Piattaforma Google per calcolo e storage distribuito, Data Stores distribuiti.

-

86800 VIRTUALIZATION AND CLOUD COMPUTING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso affronterà le tematiche di virtualizzazione delle risorse in sistemi informativi complessi. Verranno presentate le soluzioni metodologiche e architetturali più recenti. Successivamente verrà studiato l'approccio basato sul cloud computing analizzando sia aspetti formali che soluzioni commerciali.

-

94977 LINGUA INGLESE 2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche
Fornire un livello di conoscenza e comprensione della lingua inglese equivalente al livello B2.1 del quadro europeo. Alla fine del corso lo studente sarà in grado di: - comprendere gli argomenti chiave di un testo complesso su temi sia concreti che astratti, comprese discussioni tecniche; - esprimersi con una certa scioltezza e spontaneità, interagendo con parlanti nativi senza sforzo per entrambe le parti; - produrre un testo chiaro e dettagliato su un'ampia gamma di argomenti e esprimere un'opinione su un tema d'attualità, indicando vantaggi e svantaggi delle diverse opzioni.

-


12 CFU tra i seguenti insegnamenti:
80170 CONCURRENT AND DISTRIBUTED PROGRAMMING ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
Acquisire dimestichezza con le problematiche fondamentali relative alla programmazione concorrente e distribuita. Acquisire padronanza degli strumenti atti a risolvere tali problematiche forniti dalla piattaforma Java 2 Standard Edition (J2SE).

-

80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
The goal of the course is to present advanced issues of artificial intelligence from the perspective of a computerized autonomous agent.

-

80269 FORMAL LANGUAGES AND COMPILERS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
L'obiettivo del corso è quello di fornire gli strumenti, sia formali che pratici, per la definizione dei linguaggi di programmazione e dei loro traduttori e fornire competenze di progettazione di applicativi e sistemi web interoperabili nel rispetto degli standard internazionali. Il corso si propone di fornire una preparazione necessaria alla formazione dei profili di competenze degli Ingegneri dell’Informazione che si stanno affermando a livello nazionale ed europeo.

-

98459 INTERNET INFRASTRUCTURE AND CLOUD PLATFORMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
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.

-

 

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

-

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

-