Docenti e ricercatori

Professore associato confermato

Professore associato confermato

parole chiave: Architetture per la mobilità del terminale, Simulazione multilivello per sistemi IoT, Bilanciamento del carico di rete,

Ricercatore in Tenure Track L. 79/2022

parole chiave: Linguaggi di Programmazione, Algebre di Processi, Tipi Sessione, Programmazione Coreografica, Microservizi,

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: internet of things, cloud computing, smart city

Professore ordinario

parole chiave: Big Data, Data warehouse, Metodologia di progettazioene, Data Mining, Analytics, Analisi di dati social, Opinion

Professore ordinario

parole chiave: Modelli per la descrizione di sistemi concorrenti, Algebre di Processi e Reti di Petri, Sicurezza, Computazione

Professore associato confermato

parole chiave: Basi di dati temporali, Versionamento di schemi, Versionamento di ontologie, E-government, E-health, Web semantico

Professore ordinario

parole chiave: Aspetti architettonici e di programmabilità dell'Internet of Things (IoT), Architetture IoT orientate ai servizi, IoT

Professoressa associata

parole chiave: Intelligenza artificiale, Combinatorial decision making, Programmazione a vincoli, Ottimizzazione, Ottimizzazione e

Professore associato

parole chiave: Computazione quantistica, Linguaggi reversibili, Sessioni multiparty, Computazioni orientate ai servizi

Professore ordinario

parole chiave: linguaggi di programmazione, verifica statica di programmi, semantica dei linguaggi di programmazione, implementazione

Professore associato

parole chiave: Computer Vision, Pattern Recognition, Machine Learning, Deep Learning

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Didattica dell'informatica, Pensiero computazionale, Growth mindset informatico, Transfer dell'apprendimento,

Professore associato confermato

parole chiave: Data mining, Machine learning, Big data analytics, Data science, Quantum Machine Learning

Professoressa ordinaria

parole chiave: metodi numerici di ottimizzazione, problemi inversi nelle immagini, Deep learning in applicazioni di imaging,

Professore associato

parole chiave: Programmazione a vincoli, Ricerca operativa, Apprendimento automatico, Ottimizzazione