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

Roberto Amadini

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification
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,
foto della persona

Martina Bacaro

Dottoranda

Assegnista di ricerca

foto della persona

Mattia Barbaresi

Dottorando

Assegnista di ricerca

parole chiave: Intelligenza Artificiale, Sistemi Complessi
foto della persona

Ilaria Bartolini

Professoressa associata

parole chiave: Gestione efficace ed efficiente di dati multimediali, Ricerca per similarità, Annotazione semantica basata su
parole chiave: Sketching, Meta learning, Anomaly detection, Object detection
foto della persona

Flavio Bertini

Borsista di Ricerca

Tutor didattico

parole chiave: Big data, Social network and medical data analysis, Data analysis

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

Guido Borghi

Ricercatore a tempo determinato tipo a) (junior)

foto della persona

Antonella Carbonaro

Professoressa associata confermata

parole chiave: ontologie, semantic web, profilazione utente/risorsa
foto della persona

Roberto Casadei

Professore a contratto

Assegnista di ricerca

parole chiave: sistemi distribuiti, pervasive computing, Internet of Things, paradigmi di programmazione
foto della persona

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, elaborazione di big data,
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

Ugo Dal Lago

Professore ordinario

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

Allegra De Filippo

Professoressa a contratto

Assegnista di ricerca

Tutor didattico

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

Giovanni Delnevo

Dottorando

Tutor didattico

foto della persona

Luca De Luigi

Dottorando

Tutor didattico

parole chiave: Computer vision, Intelligenza artificiale, Machine learning, Deep learning
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

Matteo Ferrara

Professore associato

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

Annalisa Franco

Professoressa associata

parole chiave: Riconoscimento del volto, Sistemi biometrici, Riconoscimento di attività umane
parole chiave: Text Mining, Natural Language Processing, Natural Language Understanding, Neural-Symbolic Learning, Knowledge Graphs
foto della persona

Maurizio Gabbrielli

Professore ordinario

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

Andrea Galassi

Professore a contratto

Assegnista di ricerca

Tutor didattico

parole chiave: deep neural artificial networks apprendimento machine learning training
foto della persona

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
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

Gabriele Graffieti

Dottorando

Tutor didattico

parole chiave: Intelligenza Artificiale, Apprendimento automatico, Computer Vision, Modelli Generativi, Generative Adversarial
foto della persona

Giuseppe Lisanti

Ricercatore a tempo determinato tipo b) (senior)

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

Michele Lombardi

Ricercatore a tempo determinato tipo b) (senior)

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

Daniela Loreti

Professoressa a contratto

Assegnista di ricerca

parole chiave: Big data, Calcolo ad alte prestazioni, Map reduce, Algoritmi paralleli, Process mining
foto della persona

Antonio Macaluso

Tutor didattico

parole chiave: Quantum AI, Artificial Intelligence, Machine Learning, Quantum Computing, Deep Learning

Enrico Malizia

Ricercatore a tempo determinato tipo b) (senior)

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

Alessio Mora

Dottorando

Assegnista di ricerca

parole chiave: Federated Learning, Decentralized Learning
foto della persona

Gianluca Moro

Ricercatore confermato

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

Andrea Omicini

Professore ordinario

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

Lorenzo Pellegrini

Dottorando

Tutor didattico

parole chiave: Intelligenza artificiale, Apprendimento continuo, Robotica, Apprendimento profondo, Apprendimento automatico
foto della persona

Danilo Pianini

Ricercatore a tempo determinato tipo a) (junior)

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

Matteo Poggi

Ricercatore a tempo determinato tipo a) (junior)

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

Luca Ragazzi

Dottorando

parole chiave: Text Mining, Natural Language Processing, Natural Language Understanding
foto della persona

Roberto Reda

Dottorando

parole chiave: Web semantico, Cognitive computing, IoT, Intelligenza Artificiale
foto della persona

Marco Roccetti

Professore ordinario

parole chiave: Human data science, Human-in-the-loop methods, Human machine collaboration, Machine learning, Human-assisted bigdata
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

Federico Ruggeri

Dottorando

Tutor didattico

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

Samuele Salti

Ricercatore a tempo determinato tipo b) (senior)

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

Domenico Scotece

Professore a contratto

Assegnista di ricerca

Tutor didattico

parole chiave: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network
parole chiave: Intelligenza Artificiale, Deep Learning, Problemi di Soddisfacimento di Vincoli, Ottimizzazione combinatoria,
foto della persona

Francesco Sovrano

Dottorando

Tutor didattico

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

Paolo Torroni

Professore associato

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

Fabio Tosi

Professore a contratto

Assegnista di ricerca

parole chiave: Ricostruzione 3D da immagini
foto della persona

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

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

Giorgio Visani

Dottorando

Tutor didattico

parole chiave: Machine Learning, Explainability
foto della persona

Fabio Vitali

Professore ordinario

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

Stefano Pio Zingaro

Assegnista di ricerca

Tutor didattico

parole chiave: Machine Learning, Microservices, Internet of Things