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

Dottorando

Tutor didattico

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

Kashif Akbar

Dottorando

parole chiave: Intelligenza Artificiale, Apprendimento Automatico

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

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,

Mattia Barbaresi

Dottorando

parole chiave: Intelligenza Artificiale, Sistemi Complessi

Ilaria Bartolini

Professoressa ordinaria

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

Gianluca Berardi

Dottorando

parole chiave: Sketching, Meta learning, Anomaly detection, Object detection

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,

Guido Borghi

Ricercatore a tempo determinato tipo a) (junior)

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 a) (junior)

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,

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

Luca De Luigi

Dottorando

parole chiave: Computer vision, Intelligenza artificiale, Machine learning, Deep learning

Enrico Denti

Professore associato confermato

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

Matteo Ferrara

Professore associato

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

Giorgio Franceschelli

Dottorando

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

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 a tempo determinato tipo a) (junior)

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

Matteo Golfarelli

Professore ordinario

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

Paolo Italiani

Dottorando

Giuseppe Lisanti

Professore associato

parole chiave: Computer Vision, Pattern Recognition, Machine Learning, Deep 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: Big data, Calcolo ad alte prestazioni, Map reduce, Algoritmi paralleli, Process mining

Enrico Malizia

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Intelligenca 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,

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

Alessio Mora

Dottorando

Assegnista di ricerca

parole chiave: Federated Learning, Decentralized Learning

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, Sistemi autonomi, Ubiquitous computing, Machine learning, Intelligenza artificiale, Reinforcement

Andrea Omicini

Professore ordinario

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

Lorenzo Pellegrini

Assegnista di ricerca

Tutor didattico

parole chiave: Intelligenza artificiale, Apprendimento continuo, Robotica, Apprendimento profondo, Apprendimento automatico

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

parole chiave: Text Mining, Natural Language Processing, Natural Language Understanding

Marco Roccetti

Professore ordinario

parole chiave: Human data science, Predictive Health Intelligence, Health Informatics, Human-Machine collaboration, Human-assisted

Andrea Roli

Ricercatore confermato

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

Samuele Salti

Professore associato

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

Stefano Salvatori

Assegnista di ricerca

Claudio Sartori

Professore ordinario

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

Domenico Scotece

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined

Matteo Scucchia

Dottorando

Tutor didattico

Mattia Silvestri

Dottorando

parole chiave: Intelligenza Artificiale, Deep Learning, Problemi di Soddisfacimento di Vincoli, Ottimizzazione combinatoria,

Francesco Sovrano

Dottorando

parole chiave: Trustworthy Artificial Intelligence, eXplainable Artificial Intelligence (XAI), Deep Reinforcement Learning, Natural

Giancarlo Succi

Professore ordinario

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

Ayca Begum Tascioglu

Dottoranda

Assegnista di ricerca

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

Lorenzo Valgimigli

Dottorando

parole chiave: Natural Language Processing, Information Retrieval, Neural Symbolic Integration

Mirko Viroli

Professore ordinario

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

Giorgio Visani

Dottorando

Assegnista di ricerca

Tutor didattico

parole chiave: Machine Learning, Explainability

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