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

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: Meta learning, Object detection, Anomaly detection
foto della persona

Flavio Bertini

Professore a contratto

Assegnista 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

Antonella Carbonaro

Professoressa associata confermata

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

Roberto Casadei

Professore a contratto

Assegnista di ricerca

Tutor didattico

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, Analisi di Complessità, Computazione Quantistica, Crittografia
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

Luca De Luigi

Dottorando

Tutor didattico

parole chiave: Computer vision, Intelligenza artificiale, Machine learning, Deep learning
foto della persona

Giovanni Delnevo

Dottorando

Tutor didattico

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

Maurizio Gabbrielli

Professore ordinario

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

Andrea Galassi

Dottorando

Tutor didattico

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

Enrico Gallinucci

Professore a contratto

Assegnista di ricerca

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

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

Michele Lombardi

Ricercatore a tempo determinato tipo b) (senior)

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

Vincenzo Lomonaco

Assegnista di ricerca

Tutor didattico

parole chiave: Neuroscience-inspired AI, Deep Learning, Continual Learning, Machine Learning, Computer Vision, Robotics
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

Dottorando

Tutor didattico

parole chiave: Quantum AI, Artificial Intelligence, Machine Learning, Quantum Computing, Deep Learning
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

Alessio Mora

Dottorando

Assegnista di ricerca

parole chiave: Federated Learning, Decentralized Learning
foto della persona

Mirco Musolesi

Professore ordinario

parole chiave: Sistemi pervasivi e mobili, Sistemi autonomi, Intelligenza artificiale/machine learning per sistemi pervasivi e
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

Professore a contratto

Assegnista di ricerca

Tutor didattico

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

Roberto Reda

Dottorando

Tutor didattico

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

Mattia Silvestri

Assegnista di ricerca

Dottorando

Tutor didattico

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

Dottorando

Tutor didattico

parole chiave: Ricostruzione 3D da immagini
foto della persona

Angelo Trotta

Assegnista di ricerca

Tutor didattico

foto della persona

Mirko Viroli

Professore ordinario

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

Stefano Pio Zingaro

Professore a contratto

Assegnista di ricerca

Tutor didattico

parole chiave: Artificial Intelligence, Service-Oriented Computing, Internet of Things
Torna su