PROGRAMMAZIONE DIDATTICA COORTE A.A. 2018/2019
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 2018/2019)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
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
"Il corso fornisce allo studente le basi per il progetto e lo sviluppo delle interfacce software tra l’utente e la macchina. Lo studente acquisirà competenze riguardo ai meccanismi percettivi, cognitivi ed emotivi, al ciclo di sviluppo e alle metodologie per la progettazione delle interfacce utente, alle tecniche per lo sviluppo e alle metodologie per la valutazione dell’usabilità delle interfacce." "il corso e' di norma in lingua italiana con materiali didattici in inglese. In presenza di studenti non di lingua italiana, il corso sara' 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."
80165 ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Tecniche di rappresentazione della conoscenza, Ragionamento Automatico, Algoritmi di ricerca non informata e informata, Pianificazione, Applicazioni a casi di studio
86798 DATA ANALYSIS AND DATA MINING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso fornisce competenze avanzate relativamente alle tematiche di analisi dei dati. Verranno erogati approfondimenti sulle metodologie di data mining e applicazioni specifiche di tali metodologie a particolari organizzazioni di dati.

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.
90539 COMPUTATIONAL VISION INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Students will be provided with an an overview of state-of-the-art methods for modeling and understanding the semantics of a scene. Students will get acquainted with the problem of representing the image content adaptively by means of shallow or deep computational models, then it focuses in particular on biologically-inspired hierarchical models for representing visual cues, such as discontinuity, disparity and motion. Students will also be exposed to image classification and categorization problems. Students will be involved in project activities.
90529 DATA VISUALIZATION INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Students will be provided with a sound grounding on the principles, methods, and techniques for effective visual analysis of data. Students will explore many aspects of visualization, including techniques for both spatial (e.g., gridded data from simulations and scanning devices) and non-spatial data (e.g., graphs, text, high-dimensional tabular data).Students will get acquainted with the principles from computer graphics and human perception, and will learn visualization techniques and methods for a broad range of data types, specifically scientific visualization techniques for spatial data, and information visualization techniques for abstract data. Students will be involved in project activities.
 

1° anno (coorte 2018/2019)

LOGISTICS AND PRODUCTION - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
80186 SYSTEM IDENTIFICATION ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso ha l’obiettivo di fornire le metodologie e gli strumenti per la costruzione di modelli di sistemi dinamici utilizzabili per il controllo, la stima, diagnostica, predizione, etc. Sono analizzate diverse tipologie di modello, sia a “scatola nera” (struttura non nota) che a “scatola grigia” (incertezza su parametri). Sono forniti gli strumenti per la determinazione della complessità dei modelli e per l’identificazione dei parametri dei modelli e per la loro validazione. Vengono inoltre affrontati problemi di stima dello stato e la loro connessione con problemi di controllo e identificazione.
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.
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.
98460 SOFTWARE PLATFORMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The course aims at introducing the architectural patterns and the paradigms that computer engineers use to build complex software systems. The objective is to describe and analyze the main patterns upon which software platforms are based

1° anno (coorte 2018/2019)

NETWORKED CONTROL SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
80186 SYSTEM IDENTIFICATION ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso ha l’obiettivo di fornire le metodologie e gli strumenti per la costruzione di modelli di sistemi dinamici utilizzabili per il controllo, la stima, diagnostica, predizione, etc. Sono analizzate diverse tipologie di modello, sia a “scatola nera” (struttura non nota) che a “scatola grigia” (incertezza su parametri). Sono forniti gli strumenti per la determinazione della complessità dei modelli e per l’identificazione dei parametri dei modelli e per la loro validazione. Vengono inoltre affrontati problemi di stima dello stato e la loro connessione con problemi di controllo e identificazione.
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
Al termine del corso un allievo che lo abbia seguito con profitto conoscera’: - problematiche relative alle applicazioni e ai sistemi operativi in tempo reale; - problematiche relative al design e alla programmazione concorrente in tempo reale; - problematiche relative alla scrittura di driver di dispositivo; - alcuni casi studio di sistemi operativi in tempo reale disponibili in commercio.
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 2018/2019)

SOFTWARE AND COMPUTING PLATFORMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
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
Il corso fornisce competenze avanzate relativamente alle tematiche di analisi dei dati. Verranno erogati approfondimenti sulle metodologie di data mining e applicazioni specifiche di tali metodologie a particolari organizzazioni di dati.
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
The course aims at introducing the architectural patterns and the paradigms that computer engineers use to build complex software systems. The objective is to describe and analyze the main patterns upon which software platforms are based

6 CFU tra i seguenti insegnamenti:
80165 ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Tecniche di rappresentazione della conoscenza, Ragionamento Automatico, Algoritmi di ricerca non informata e informata, Pianificazione, Applicazioni a casi di studio
80169 REAL-TIME OPERATING SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Al termine del corso un allievo che lo abbia seguito con profitto conoscera’: - problematiche relative alle applicazioni e ai sistemi operativi in tempo reale; - problematiche relative al design e alla programmazione concorrente in tempo reale; - problematiche relative alla scrittura di driver di dispositivo; - alcuni casi studio di sistemi operativi in tempo reale disponibili in commercio.
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 2018/2019)

ARTIFICIAL INTELLIGENCE AND HUMAN-CENTERED COMPUTING - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
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 2018/2019)

LOGISTICS AND PRODUCTION - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
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
Il corso illustra le tecnologie e le soluzioni per la realizzazione di sistemi di automazione industriale, e si articola in: - ambiti dell'automazione industriale: fabbrica, processo continuo, reti tecnologiche, edifici; - Intelligent Field Device - strumentazione e attuatori - Fieldbus - architetture per sistemi di automazione
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 2018/2019)

NETWORKED CONTROL SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
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
Il corso illustra le tecnologie e le soluzioni per la realizzazione di sistemi di automazione industriale, e si articola in: - ambiti dell'automazione industriale: fabbrica, processo continuo, reti tecnologiche, edifici; - Intelligent Field Device - strumentazione e attuatori - Fieldbus - architetture per sistemi di automazione
98457 COOPERATIVE ROBOTICS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
L'obiettivo del corso è introdurre gli studenti alle tecniche di controllo reattivo per la robotica cooperativa, con un focus speciale sui manipolatori mobili. Il corso tratterà: - i fondamentali della cinematica dei sistemi robotici - l'architettura di un singolo agente, basata su un approccio multi-obiettivo a priorità di compito - come l'architettura di un singolo agente possa essere estesa per avere una cooperazione stretta tra gli agenti (trasportare un oggetto) oppure una di tipo debole (copertura di un'area o patrolling)
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.

12 CFU tra i seguenti insegnamenti:
86799 DISTRIBUTED SYSTEMS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
Algoritmi e strutture dati per reti Valutazione delle prestazioni reti, sistemi e piattaforme informatiche Reti di accesso e di dorsale a banda larga Comunicazione real-time con livelli di servizio garantiti a pacchetto Controllo traffico in architetture distribuite Virtualizzazione Piattaforme software Architetture orientate ai servizi.
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 2018/2019)

SOFTWARE AND COMPUTING PLATFORMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale
86799 DISTRIBUTED SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Algoritmi e strutture dati per reti Valutazione delle prestazioni reti, sistemi e piattaforme informatiche Reti di accesso e di dorsale a banda larga Comunicazione real-time con livelli di servizio garantiti a pacchetto Controllo traffico in architetture distribuite Virtualizzazione Piattaforme software Architetture orientate ai servizi.
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:
98461 BINARY ANALYSIS AND SECURE CODING INF/01 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
The course aims at making software developers aware that (poorly written) programs can be exploited for malicious purposes, making them act in unintended ways. This goal is achieved by showing how binary programs (that is, programs whose source code is unavailable) can be analysed, to understand their behaviours and find their vulnerabilities, and then exploited. Moreover, the course describes how to design and write secure software, that is, software that cannot be exploited.
80551 TECHNOLOGIES FOR INDUSTRIAL AUTOMATION ING-INF/07 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il corso illustra le tecnologie e le soluzioni per la realizzazione di sistemi di automazione industriale, e si articola in: - ambiti dell'automazione industriale: fabbrica, processo continuo, reti tecnologiche, edifici; - Intelligent Field Device - strumentazione e attuatori - Fieldbus - architetture per sistemi di automazione
 

PROPEDEUTICITÀ

Nessuna indicazione.