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

foto della persona

Gianluca Aguzzi

Professore a contratto

Assegnista di ricerca

Tutor didattico

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

Musawar Ali

Dottorando

foto della persona

Roberto Amadini

Professore associato

parole chiave: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification
parole chiave: Constraint Programming, Natural Language Processing, Exascale HPCs, Green AI, Machine Learning
parole chiave: informatica quantistica, intelligenza artificiale, Scienza dei dati, Apprendimento profondo e apprendimento automatico
foto della persona

Andrea Asperti

Professore ordinario

parole chiave: Deep Learning, Reinforcement Learning, Generative Models
foto della persona

Ozalp Babaoglu

Professore ordinario

parole chiave: High-Performance Computing, Machine learning, Predictive data analytics, Efficienza energetica, Fault tolerance,
parole chiave: Active Inference, Free Energy Principle, Computational Epistemology, AI for Education, Explainable AI
foto della persona

Pegah Barakati

Dottoranda

foto della persona

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,
foto della persona

Luciano Bononi

Professore ordinario

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

Andrea Borghesi

Ricercatore a tempo determinato tipo b) (senior)

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

Samuele Burattini

Dottorando

Tutor didattico

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

Antonella Carbonaro

Professoressa associata confermata

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

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: intelligenza artificiale, paradigmi di programmazione, sistemi collettivi, sistemi distribuiti, pervasive computing,
foto della persona

Yuhan Chen

Dottorando

foto della persona

Anna Ciampolini

Professoressa ordinaria

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

Paolo Ciancarini

Professore ordinario

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

Alex Costanzino

Dottorando

Tutor didattico

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

Maichol Dadi

Assegnista di ricerca

parole chiave: deep learning, Visione artificiale, agritech, riconoscimento biometrico
foto della persona

Ugo Dal Lago

Professore ordinario

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

Allegra De Filippo

Ricercatrice a tempo determinato tipo a) (junior)

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

Enrico Denti

Professore associato confermato

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

Nicolò Di Domenico

Dottorando

Tutor didattico

foto della persona

Alfonso Esposito

Assegnista di ricerca

Dottorando

Tutor didattico

foto della persona

Muhammad Azaz Farooq

Dottorando

Tutor didattico

foto della persona

Matteo Ferrara

Professore associato

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

Salvatore Fiorilla

Dottorando

Tutor didattico

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

Giorgio Franceschelli

Dottorando

Assegnista di ricerca

Tutor didattico

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

Annalisa Franco

Professoressa associata

parole chiave: Riconoscimento del volto, Sistemi biometrici, Riconoscimento di attività umane
parole chiave: Intelligenza artificiale, Programmazione Matematica, Apprendimento Automatico
foto della persona

Giacomo Frisoni

Assegnista di ricerca

Tutor didattico

parole chiave: Text Mining, Natural Language Processing, Natural Language Understanding, Neuro-Symbolic Learning, Knowledge Graphs
foto della persona

Maurizio Gabbrielli

Professore ordinario

parole chiave: Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale
foto della persona

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
foto della persona

Luca Giuliani

Dottorando

Assegnista di ricerca

Tutor didattico

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

Matteo Golfarelli

Professore ordinario

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

Abdelsalam Ali Helal

Professore ordinario

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

Paolo Italiani

Dottorando

Özlem Kaya

Dottoranda

foto della persona

Uzma Latif

Dottoranda

foto della persona

Stefano Lodi

Professore associato confermato

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

Michele Lombardi

Professore associato

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

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,
parole chiave: Intelligenza Artificiale, Machine Learning, Deep Learning, Machine Learning con vincoli, Fair AI, Explainable AI,
foto della persona

Enrico Malizia

Professore associato

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

Davide Maltoni

Professore ordinario

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

Vittorio Maniezzo

Professore ordinario

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

Stefano Mattoccia

Professore associato

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

Paola Mello

Professoressa ordinaria

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

Michela Milano

Professoressa ordinaria

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

Danilo Montesi

Professore ordinario

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

Gianluca Moro

Professore associato

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

Mirco Musolesi

Professore ordinario

parole chiave: Machine intelligence, Machine learning, Reinforcement learning, Foundational models, Large language models, Sistemi
foto della persona

Andrea Omicini

Professore ordinario

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

Filippo Orazi

Dottorando

parole chiave: Computazione Quantistica, IA Quantistica
foto della persona

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

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

Matteo Poggi

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Computer Vision, Deep Learning, Depth Perception
foto della persona

Andrea Poltronieri

Dottorando

Tutor didattico

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

Luca Ragazzi

Assegnista di ricerca

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

Adnan Riaz

Dottorando

foto della persona

Marco Roccetti

Professore ordinario

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

Andrea Roli

Ricercatore confermato

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

Silvio Russo

Dottorando

foto della persona

Tina Salerno

Dottoranda

Samuele Salti

Professore associato

parole chiave: Computer Vision, Deep Learning, Machine Learning, Telematica
foto della persona

Claudio Sartori

Professore ordinario

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

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
foto della persona

Matteo Scucchia

Dottorando

Tutor didattico

foto della persona

Giancarlo Succi

Professore ordinario

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

Paolo Torroni

Professore associato

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

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

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

Mirko Viroli

Professore ordinario

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

Fabio Vitali

Professore ordinario

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

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