Dottorato in informatica

Dottorati
Dottorato
A.A. 2018/2019
Area
Tecnico scientifica
Dottorato
3
Anni
Milano
Inglese
Coordinatore di Dottorato
Il dottorato di ricerca in Informatica ha l'obiettivo di fornire ai dottorandi conoscenze scientifiche, metodologiche e tecnologiche avanzate proprie del settore scientifico-disciplinare dell'Informatica, di quelli affini e delle relative applicazioni. Queste conoscenze sono finalizzate alla formazione e all'avviamento alla ricerca teorica e applicata, con attenzione agli aspetti di interdisciplinarietà e internazionalizzazione, con ampia capacità di indagine e autonomia scientifica e culturale che consentano di produrre risultati originali e significativi per la comunità scientifica internazionale e per le aziende.
Il dottorato di ricerca in Informatica mira a conseguire:
- Una solida conoscenza ad ampio spettro sui fondamenti delle scienze, delle metodologie e delle tecnologie dell'informazione e affini,
- Avanzate e approfondite competenze su specifici aspetti disciplinari,
- Conoscenze inter-disciplinari per sfruttare sinergie culturali e metodologiche,
- Una solida preparazione metodologica allo svolgimento della ricerca nonché alla sua organizzazione, gestione, e diffusione,
- Opportunità di formazione a livello internazionale,
- Una migliore qualificazione dei dottori di ricerca e del loro inserimento professionale nella ricerca accademica e nelle aziende.
Il corso di dottorato è erogato interamente in lingua inglese.
Tutte le classi di laurea magistrale
Milano
Titolo Docente/i
Dalla colorimetria all'apparenza cromatica
Tecniche avanzate per il restauro digitale di film
Tecnologie assistive su dispositivi mobili
Protezione dei dati personali in ambienti pervasivi
Sistemi formali e complessità
Requisiti: Informatica teorica e linguaggi formali
Algoritmi di Ottimizzazione Combinatoria per problemi decisionali complessi
Requisiti: Fondamenti di Ricerca Operativa, Algoritmi e strutture dati, Programmazione C
Elaborazione di segnali biomedicali
Requisiti: Conoscenze di base di elaborazione di segnali; abilità nella programmazione in C/C++/C#, Java or Matlab.
Architetture per game engine distribuiti
Tecniche di streaming poligonale
Progetto e analisi di algoritmi di apprendimento automatico
Requisiti: Matematica del continuo, matematica del discreto, algebra lineare, calcolo delle probabilità e statistica
Modelli epidemici e multilayer networks: definizione, analisi, simulazione in contesti socio-tecnici
Controllabilità di reti sociali: definizione e analisi di nuove tecniche e strategie compatibili con requisiti etici
Protocolli di computazione sicura ed applicazioni per il cloud computing
Analisi e sviluppo di protocolli di blockchain e loro applicazioni
Intelligenza Computazionale e applicazioni
Requisiti: Competenze in Modellizzazione Probabilistica e Analisi Dati. Conoscenza di base dell'Apprendimento Computazionale.
Modellizzazione e Analisi dei Big Data
Requisiti: Competenze in Modellizzazione Probabilistica
Mobile edge computing
Requisiti: Conoscenze tecniche di network softwarization e function virtualization
Apprendimento delle distribuzioni di caratteristiche acustiche in ambienti in evoluzione
Requisiti: Elaborazione del segnale digitale, apprendimento automatico, riconoscimento di pattern
Algoritmi Distribuiti per Sciami di Robot
Requisiti: Conoscenza approfondita di Teoria degli Algoritmi e Informatica Teorica
Reti temporali
Evoluzione dinamica del SW tramite l'evoluzione di una sua rappresentazione astratta e validazione e testing (dell'evoluzione)
Sviluppo modulare di linguaggi, librerie di linguaggi e language product line
Ambienti intelligenti: tecniche di analisi dei dati e apprendimento automatico per ambienti autoadattativi
Cloud e Fog Computing affidabili: tecniche di allocazione di risorse e task per tolleranza ai guasti, resilienza, e prestazioni
Metodi di Machine Learning per la Medicina Genomica
Predizione del fenotipo e del rischio di malattia tramite dati genomici e ambientali
Linguaggi visuali per la visualizzazione di dati in realtà virtuale
B. R. Barricelli
Classificazione e annotazione automatica di contenuti musicali
Requisiti: Machine learning, pattern recognition
Generazione automatica di contenuti per videogiochi
Tecniche basate su AI a supporto dello storytelling in video game
Navigazione multistrato in contenuti musicali
Requisiti: Formazione di informatica musicale, esperienze significative di XML e HTML5.0
A. Baratè
Tecnologie informatiche per la conservazione e la valorizzazione dei beni culturali materiali e immateriali
A. Baratè
Biometria scarsamente vincolata
Deep learning
Estrazione non Supervisionata di Topic nella Computational Argumentation
Requisiti: Inglese fluente. Solido background in informatica, con particolare riferimento a gestione dei dati e statistica.
Aspetti etici nella gestione dei dati
Requisiti: Inglese fluente. Solido background in informatica, con particolare riferimento a gestione dei dati.
Metodologie e tecniche di predizione di serie temporali, con applicazione alla gestione di energia elettrica, energie rinnovabili e smart grid
Requisiti: Conoscenze di Machine learning o Elaborazione dei segnali/immagini
Apprendimento online per modelli gerarchici
Requisiti: Conoscenze di Machine learning o Elaborazione dei segnali/immagini
Metodi basati su grafi per l'analisi di reti biologiche complesse
Sicurezza e privatezza dei dati in scenari emergenti
Approcci per la condivisione selettiva delle informazioni in scenari emergenti
Protezione dati in piattaforme multi-autorità
Metriche e techniche per la protezione della privacy
Esecuzione collaborativa e controllata di interrogazioni in sistemi distribuiti multi-autorita`
Approcci per la scelta di cloud provider nel rispetto dei requisiti degli utenti
Modellazione e Verifica di Sistemi Adattativi
Requisiti: Competenze in metodi formali e logiche temporali
Metodi formali per sistemi sicuri
Requisiti: Competenze in metodi formali, logiche temporali e sicurezza dei sistemi
Processi di Sviluppo Rigorosi per l’Ingegneria del Software
Requisiti: Competenze in metodi formali e logiche temporali
Tecniche avanzate di sintesi e rendering del suono in contesti interattivi
Tecnologie informatiche per l'insegnamento e l'apprendimento della musica
Modelli e tecniche per Artificial Intelligence as a Service
Requisiti: Fondamenti di Big Data e Intelligenza Artificiale
Compliance-as-a-Service per processi e servizi cloud e Big Data
Requisiti: Fondamenti di Cloud Computing e Big Data
Tecniche di assurance per l'Internet of Things
Requisiti: Fondamenti di IoT
Sistemi avanzati basati su sensori multimodali in ambienti IoT complessi
Requisiti: Fondamenti di Sistemi distribuiti e gestione di multimedia
Reti neurali profonde per l'analisi dei dati
Requisiti: Conoscenze di: Machine learning, Scientific computing
A. Petrosino
Machine Learning per la Computer Vision
Requisiti: Conoscenze di: Machine Learning, Image Processing and Analysis, Scientific computing
A. Petrosino
Caregiver virtuali empatici
Requisiti: Grafica 3D, conoscenza di base su affective intelligence
Algoritmi di programmazione matematica per l'analisi prescrittiva dei dati
Requisiti: Ricerca Operativa, Statistica, Programmazione, Algoritmi e strutture dati

Elenco insegnamenti

gennaio
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Ambient intelligence 2 10 Inglese
Descriptional complexity of formal systems 3 15 Inglese
Machine learning for network and genomic medicine 3 15 Inglese
febbraio
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Big data architecture: the apache framework 3 15 Inglese
Formal languages and automata to model complex structures - modul 1 3 15 Inglese
Formal languages and automata to model complex structures - modul 2 2 10 Inglese
Introduction to data ethics 3 15 Inglese
marzo
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Circuit modeling and applications to biology, security and new technologies 3 15 Inglese
Modeling, analysis and optimization of networks (part 1: flows) 3 15 Inglese
aprile
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Introduction to machine scheduling 3 15 Inglese
maggio
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Advanced topics in signal processing 2 10 Inglese
luglio
Attività formative Docente/i Crediti Ore totali Lingua
Surface parametrization 3 15 Inglese
ottobre
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Cloud-based solutions for handling and analyzing smart city data 4 20 Inglese
Deep learning in biometrics 2 10 Inglese
novembre
Attività formative Docente/i Crediti Ore totali Lingua
Obbligatorio
Practical approaches to cloud assurance and security 2 10 Inglese