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

parole chiave: pervasive computing, artificial intelligence, sistemi distribuiti, apprendimento multi agente, paradigmi di

Musawar Ali

Dottorando

Roberto Amadini

Professore associato

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

Francesco Antici

Dottorando

parole chiave: Constraint Programming, Natural Language Processing, Exascale HPCs, Green AI, Machine Learning

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, Reinforcement Learning, Generative Models

Ozalp Babaoglu

Professore ordinario

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

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

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: intelligenza artificiale, paradigmi di programmazione, sistemi collettivi, sistemi distribuiti, pervasive computing,

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

Maichol Dadi

Assegnista di ricerca

parole chiave: deep learning, Visione artificiale, agritech, riconoscimento biometrico

Ugo Dal Lago

Professore ordinario

parole chiave: Semantica Differenziale dei Programmi, Computazione Quantistica, Crittografia, Analisi Statica dei Programmi

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

Assegnista di ricerca

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

Dottorando

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: Text Mining, Natural Language Processing, Natural Language Understanding, Neuro-Symbolic Learning, Knowledge Graphs

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

Dottorando

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

Paola Mello

Professoressa ordinaria

parole chiave: Logica computazionale, Programmazione logica, Agenti intelligenti, Rappresentazione della conoscenza e ragionamento,

Michela Milano

Professoressa ordinaria

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

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: Machine intelligence, Machine learning, Reinforcement learning, Foundational models, Large language models, Sistemi

Andrea Omicini

Professore ordinario

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

Filippo Orazi

Dottorando

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

Andrea Poltronieri

Dottorando

Tutor didattico

parole chiave: music information retrieval, teconologie del web semantico, musicologia computazionale, linked open data, pattern

Luca Ragazzi

Assegnista di ricerca

parole chiave: Text Mining - Natural Language Processing - Natural Language Understanding - Text Summarization - Low Resource Regimes

Adnan Riaz

Dottorando

Marco Roccetti

Professore ordinario

parole chiave: Human data science, Prescient intelligence, Human-AI partnership, Data and AI for social good, Biomedinformatics

Andrea Roli

Ricercatore confermato

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

Silvio Russo

Dottorando

Tina Salerno

Dottoranda

Samuele Salti

Professore associato

parole chiave: Computer Vision, Deep Learning, Machine Learning, Telematica

Claudio Sartori

Professore ordinario

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

Luca Sciullo

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Internet of Things (IoT), Web of Things (WoT), Blockchain, Digital Twin, Industry 4.0

Matteo Scucchia

Dottorando

Tutor didattico

Giancarlo Succi

Professore ordinario

parole chiave: Ingegneria del software empirica, agile methods, open source, metriche software, applicazioni dell'intelligenza

Ayca Begum Tascioglu

Dottoranda

Paolo Torroni

Professore associato

parole chiave: identificazione di strutture argomentative, protocolli di interazione, sistemi multi-agente, simulazione ad agenti,

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

Giorgio Tsiotas

Dottorando

parole chiave: Computer Vision, Internet of Things, Machine Learning, Deep Learning, Natural Language Processing

Mirko Viroli

Professore ordinario

parole chiave: Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,

Fabio Vitali

Professore ordinario

parole chiave: linguaggi di markup, editoria digitale, sistemi ipertestuali, formati documentali, Explainable Artificial Intelligence,

Andrea Zanellati

Dottorando

Tutor didattico

parole chiave: learning analytics, educational data mining, technology enhanced learning, educational data science

Stefano Pio Zingaro

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Apprendimento automatico, Microservizi, Intelligenza artificiale, Dispersione scolastica