Computer Science and Engineering
Linee di Ricerca
- High Performance Computing su architetture parallele e distribuite: Modelli e linguaggi di programmazione di alto livello per architetture multi\many-cores, GPGPUs, FPGAs, sistemi a memoria distribuita gerarchica\distribuita, MPI/PVM/OpenMP e tecnologie multithreading, Piattaforne Cluster e Grid, High Performance Cloud, Agenti Mobili per calcolo embedded e servizi grid, Reti Neurali, Simulazione di Plasma, Sistemi OLAP paralleli, parallelizzazione guidata dai dati, servizi basati su agenti per manutenzione e riconfigurazione, modelli distribuiti per sistemi multi-agente, intelligenza collettiva, riconfigurazione di dispositivi mobili e localizzazione in sistemi pervasivi.
- Ingegneria del Software e Sistemi Informativi: parallelizzazione automatica del codice per architetture Multi-Many cores+GPUs, tecniche e strumenti per reverse engineering, modernizzazione e ristrutturazione Software, Business Process Management, Content Management, progettazione statica e dinamica basata su agenti.
- Ingegneria della conoscenza, Semantica e Big Data Intelligence: sistemi per il recupero delle informazioni basati sulla semantica, classificazione automatica di documenti e siti web, estrazione automatica di ontologie e annotazione di documenti non strutturati e siti web, estrazione automatica di thesauri di dominio, scoperta di servizi web e cloud, sistemi esperti basati su regole, Intelligenza collettiva, evoluzionistica e reti neurali, Data Mining, riconoscimento di Pattern.
- Modellazione Formale, verifica e validazione di sistemi complessi e critici: Test di software complesso su larga scala, verifica della pianificazione per sistemi multi-agente e real-time, verifica delle specifiche QOS per applicazioni SOA, validazione dei requisiti software e analisi dell’affidabilità, validazione e applicazione di sicurezza e affidabilità.
- Reti e sicurezza di rete: protocolli e architetture di rete ad alte prestazioni, progettazione, analisi e ottimizzazione di reti, protocolli e algoritmi di instradamento e per reti ottiche e and wireless, Sicurezza e privacy, identificazione di attacchi e anomalie, architetture di sicurezza evolutive. Scienza cognitiva: Caratteristiche qualitative e quantitative della comunicazione interattiva emozionale verbale e non, modellazione matematica del comportamento umano nelle interazioni e dinamiche adattative, analisi comportamentale e contestuale delle interazioni umano-umano e umano-macchina.
- Data stream mining: Clustering dati da sensori, riepilogo di flussi dati in rapida evoluzione, Classificazione di dati da sensori, clustering e analisi funzionale dei dati, Previsioni, Metodi di regressione, predizione spaziale, individuazione degli outlier.
- Distribuzione Dati: Clustering e regressione sulle distribuzioni, analisi in componenti principali per predizioni su dati spaziali
