Intelligenza artificiale

Questo filone di ricerca riguarda principalmente la rappresentazione della conoscenza e il ragionamento in Intelligenza Artificiale. Oggetto di ricerca sono diverse tecniche di rappresentazione della conoscenza quali ontologie, sistemi a regole, approcci basati su logica (Programmazione Logica, Calcolo degli Eventi, Logica Descrittiva, Abduzione e Argomentazione) e loro integrazione anche nell’ambito di ragionamento incerto.

Oggetto di ricerca sono anche algoritmi, metodi e strumenti per lo sviluppo di sistemi “intelligenti” che possano costituire un efficiente ed efficace supporto alle decisioni, utilizzando ed integrando anche metodi di apprendimento (simbolici e sub-simbolici) e tecniche di ottimizzazione. I risultati di tale attività sono stati utilizzati in numerose aree applicative quali, ad esempio, la medicina, la gestione dell’energia, le smart cities, l 'orchestrazione di servizi Web, i processi di business. In particolare, tecniche di verifica run-time e a posteriori sono state utilizzate per monitorare la conformità dell'esecuzione di processi rispetto a linee guida, regolamenti, standard, protocolli ed eventualmente aspetti legali.

Persone

John Amanesi Abubakar

Dottorando

Gianluca Aguzzi

Professore a contratto

Assegnista di ricerca

Tutor didattico

Musawar Ali

Dottorando

Roberto Amadini

Professore associato

parole chiave: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification

Muhammad Waqas Arshad

Dottorando

parole chiave: informatica quantistica, intelligenza artificiale, Scienza dei dati, Apprendimento profondo e apprendimento automatico

Andrea Asperti

Professore ordinario

parole chiave: Deep Learning, Generative AI, Multimedia, Reinforcement Learning

Ozalp Babaoglu

Professore ordinario

parole chiave: High-Performance Computing, Machine learning, Predictive data analytics, Efficienza energetica, Fault tolerance,

Alex Baiardi

Assegnista di ricerca

Francesco Balzan

Dottorando

parole chiave: Active Inference, Free Energy Principle, Computational Epistemology, AI for Education, Explainable AI

Pegah Barakati

Dottoranda

Ilaria Bartolini

Professoressa ordinaria

parole chiave: Gestione efficace ed efficiente di dati multimediali, Ricerca per similarità, Annotazione semantica basata su

Alessandro Bevilacqua

Ricercatore confermato

parole chiave: visione artificiale 3D, machine learning, pattern recognition, imaging medico e biomedico, imaging aereo e satellitare,

Luciano Bononi

Professore ordinario

parole chiave: Protocolli di comunicazione e architetture di rete, Sistemi e reti wireless, Mobilità veicolare elettrica sostenibile,

Andrea Borghesi

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Intelligenza Artificiale, Sistemi ad Agenti, Apprendimento Automatico, Programmazione a vincoli, Ottimizzazione,

Samuele Burattini

Dottorando

Tutor didattico

parole chiave: Pervasive Computing, Human-Computer Interaction, Agent-Oriented Programming, Mixed Reality, Web of Things, Digital Twins

Roberta Calegari

Professoressa a contratto

Assegnista di ricerca

parole chiave: logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS,

Antonella Carbonaro

Professoressa associata confermata

parole chiave: rappresentazione dati e conoscenza, standardizzazione, web semantico, explainability, IoT, IoMT, digital health

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: ingegneria del software, paradigmi di programmazione, sistemi multi-agente, sistemi distribuiti, intelligenza

Yuhan Chen

Dottorando

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, virtualizzazione di sistemi

Paolo Ciancarini

Professore ordinario

parole chiave: Modelli e linguaggi di coordinazione, Architetture multiagente, Web semantico, Informatica ludica, Documenti digitali,

Alex Costanzino

Dottorando

Tutor didattico

parole chiave: Computer Vision, Deep Learning, Depth Estimation, Novel View Synthesis, Neural Radiance Fields, Anomaly Detection &

Filippo D'Addeo

Dottorando

Ugo Dal Lago

Professore ordinario

parole chiave: Linguaggi di Programmazione, Computazione Quantistica, Crittografia, Logica nell'Informatica

Allegra De Filippo

Ricercatrice a tempo determinato tipo a) (junior)

parole chiave: Intelligenza Artificiale, Sistemi di supporto alle decisioni, Ottimizzazione ibrida

Enrico Denti

Professore associato confermato

parole chiave: Sistemi multi-agente, Linguaggi di programmazione, Ingegneria del software orientata agli agenti, Infrastrutture

Nicolò Di Domenico

Dottorando

Tutor didattico

Alfonso Esposito

Dottorando

Tutor didattico

Muhammad Azaz Farooq

Dottorando

Tutor didattico

Matteo Ferrara

Professore associato

parole chiave: Sistemi Biometrici, Riconoscimento di impronte digitali, Riconoscimento del volto, Pattern Recognition, Elaborazione

Salvatore Fiorilla

Dottorando

Tutor didattico

parole chiave: Deep Learning, Distributed Software Architectures, Computer Vision, Instance Re Identification

Giorgio Franceschelli

Assegnista di ricerca

Tutor didattico

parole chiave: Deep Learning, Modelli Generativi, Reinforcement Learning, Creative AI, Proprietà Intellettuale

Annalisa Franco

Professoressa associata

parole chiave: Riconoscimento del volto, Sistemi biometrici, Riconoscimento di attività umane

Matteo Francobaldi

Dottorando

Assegnista di ricerca

parole chiave: Intelligenza artificiale, Programmazione Matematica, Apprendimento Automatico

Giacomo Frisoni

Assegnista di ricerca

Tutor didattico

parole chiave: Natural Language Processing, Large Language Models, Graph Neural Networks

Maurizio Gabbrielli

Professore ordinario

parole chiave: Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale

Enrico Gallinucci

Ricercatore in Tenure Track L. 79/2022

parole chiave: Big Data, Database NoSQL, Analisi di Dati Social, Analisi di dati di traiettoria, Agricoltura di Precisione, Business

Alessandro Ghibellini

Dottorando

Luca Giuliani

Assegnista di ricerca

Tutor didattico

parole chiave: Intelligenza Artificiale, Machine Learning, Deep Learning, Programmazione a Vincoli, Programmazione Matematica, Fair

Matteo Golfarelli

Professore ordinario

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

Abdelsalam Ali Helal

Professore ordinario

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

Paolo Italiani

Dottorando

Özlem Kaya

Dottoranda

Stefano Lodi

Professore associato confermato

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

Michele Lombardi

Professore associato

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

Daniela Loreti

Ricercatrice a tempo determinato tipo a) (junior)

parole chiave: Sustainable HPC algorithms, Valutazione e riduzione dei consumi energetici di algoritmi di AI, Algoritmi paralleli,

Alessandro Maggio

Dottorando

parole chiave: Intelligenza Artificiale, Machine Learning, Deep Learning, Machine Learning con vincoli, Fair AI, Explainable AI,

Enrico Malizia

Professore associato

parole chiave: Intelligenza artificiale, Complessità computazionale, Informatica teorica, Rappresentazione della conoscenza e

Davide Maltoni

Professore ordinario

parole chiave: Sistemi biometrici, Visione artificiale, Apprendimento automatico, Apprendimento continuo, Neuroscienze computazionali,

Vittorio Maniezzo

Professore ordinario

parole chiave: Algoritmica computazionale, Algoritmi mateuristici, Data analytics, Analitica predittiva, Analitica presctittiva,

Enrico Mannocci

Dottorando

Stefano Mattoccia

Professore associato

parole chiave: Computer vision, Machine learning, Deep-learning, 3D perception, Stereo vision, monocular depth estimation, Embedded

Michela Milano

Professoressa ordinaria

parole chiave: Intelligenza Artificiale, Sistemi di supporto alle decisioni, Programmazione a Vincoli, Strategie di ricerca,

Lorenzo Molfetta

Dottorando

Danilo Montesi

Professore ordinario

parole chiave: Big data, Social network and medical data analysis, Structured, semi structured and unstructured data analysis

Gianluca Moro

Professore associato

parole chiave: Text mining, Data mining, Deep learning, Cross-modal text and images retrieval, Transfer learning, Ad hoc data centric

Mirco Musolesi

Professore ordinario

parole chiave: Intelligenza artificiale, Machine learning, Foundational models, Large language models, Generative Artificial

Ghulam Mustafa

Dottorando

Qamar Un Nisa

Dottoranda

Andrea Omicini

Professore ordinario

parole chiave: simulazione, agenti intelligenti, linguaggi multiparadigma, sistemi autoorganizzanti, calcolo pervasivo, sistemi

Filippo Orazi

Dottorando

Tutor didattico

parole chiave: Computazione Quantistica, IA Quantistica

Gianmarco Pappacoda

Dottorando

Tutor didattico

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi

Matteo Poggi

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Computer Vision, Deep Learning, Depth Perception

Luca Ragazzi

Assegnista di ricerca

parole chiave: Natural Language Processing - Large Language Models - Text Summarization - Text Generation - Low Resource Regimes

Adnan Riaz

Dottorando

Marco Roccetti

Professore ordinario

parole chiave: Data thinking, Inferential AI, Data deluge, Prescient intelligence, Data profusion (with implications), Medical

Andrea Roli

Ricercatore confermato

parole chiave: Intelligenza artificiale, Sistemi complessi, Robotica ispirata a sistemi naturali, Robotica collettiva, Complex systems

Federico Ruggeri

Assegnista di ricerca

Tutor didattico

parole chiave: Artificial Intellingence; Machine Learning; Natural Language Processing; Reinforcement Learning; Deep Learning;