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

Gianluca Aguzzi

Professore a contratto

Dottorando

Assegnista di ricerca

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

Tutor didattico

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

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,

Guido Borghi

Ricercatore a tempo determinato tipo a) (junior)

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,

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 &

Iacopo Curti

Assegnista di ricerca

parole chiave: Mobile Mapping, Lane detection

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

Assegnista di ricerca

Tutor didattico

Matteo Ferrara

Professore associato

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

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

Tutor didattico

parole chiave: Intelligenza artificiale, Programmazione Matematica, Apprendimento Automatico

Giacomo Frisoni

Dottorando

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

Tutor didattico

Luca Giuliani

Assegnista di ricerca

Dottorando

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

Paolo Italiani

Dottorando

Uzma Latif

Dottoranda

Giuseppe Lisanti

Professore associato

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

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

Dottorando

Assegnista di ricerca

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