Artificial intelligence

Manuele Bicego
Associate Professor
Maria Paola Bonacina
Full Professor
Alberto Castellini
Temporary Assistant Professor
Matteo Cristani
Associate Professor
Marco Cristani
Full Professor
Alessandro Daducci
Associate Professor
Alessandro Farinelli
Full Professor
Gloria Menegaz
Full Professor
Vittorio Murino
Full Professor
Research interests
Topic People Description
Intelligent Agents Alberto Castellini
Matteo Cristani
Alessandro Farinelli
Design and development of autonomous entities that can sense, model and interact with the environment in which they operate. Main research topics include: action planning, reinforcement learning, reasoning in face of uncertainty.
Computer forensics Marco Cristani
Accanto a discipline classiche quali il tracking e l'object detection per la sorveglianza, l'interesse è centrato su social signal processing. In questo settore l'obiettivo è di riuscire a catturare sotto forma di features i segnali sociali, ossia quei segnali che l'essere umano usa, spesso inconsciamente, per comunicare in maniera puramente non verbale con l'ambiente esterno (persone, interfacce). Tutto questo si traduce in parole chiavi quali feature design, feature learning, socially-driven features, social psychology models, proxemics, data fusion. Le applicazioni risultanti trovano naturalmente spazio nella sorveglianza, ma anche in ambito medico e multimediale.
Modellazione statistica di dati multimediali Marco Cristani
Vittorio Murino
Modellazione di immagini e video, utilizzando strumenti statistici e probabilistici, quali modelli generativi (misture di Gaussiane, modelli di Markov a stati nascosti), discriminativi (Kernel Machines) ed embedding generativi, in spazi euclidei e non. Tale modellazione porta ad applicazioni come riconoscimento e rivelamento di oggetti, tracking, che si collocano nell'ambito della video sorveglianza, analisi di dati medicali e nell'analisi di segnali sociali o social signal processing. In particolare, le mie specialità attuali sono la re-identificazione e la detection per la sorveglianza, la segmentazione e classificazione per l'analisi di segnali medicali e l'analisi di attività interattive per il social signal processing.
Multi-modal biomedical image processing Alessandro Daducci
Gloria Menegaz
Computer vision and computational intelligence. Segmentation of multi-dimensional multi-modal data and objective validation of the outcomes.
Automated Reasoning Maria Paola Bonacina
Matteo Cristani
Automated theorem proving; Automated model building; Reasoning about programs; Strategy analysis; Distributed automated deduction; Theorem proving strategies: ordering-based strategies (resolution and rewriting), subgoal-reduction strategies, instance-based strategies; Decision procedures for satisfiability modulo theories and their application to check program properties
Rappresentazione della conoscenza Matteo Cristani
La rappresentazione della conoscenza è il settore di ricerca a cavallo tra Intelligenza Artificiale e Sistemi Informativi che si occupa del problema di elaborare informazione di natura non numerica.
Sistemi avanzati per il riconoscimento Marco Cristani
Vittorio Murino
Due sono gli ambiti principali di ricerca: 1) studio di descrittori di basso livello per addestrare classificatori avanzati; in questo caso, l'idea è di progettare descrittori compatti e informativi per l'object recognition e detection. Particolare enfasi viene data allo studio di descrittori giacenti su spazi non euclidei, come varietà Riemanniane, manipolando nozioni di Information Geometry 2) studio di tecniche di classificazione ibride generative e discriminative; qui l'obiettivo è di sfruttare le caratteristiche vincenti dei modelli generativi (misture di Gaussiane, modelli di Markov a stati nascosti, topic models) e dei modelli discriminativi (Support Vector Machines) combinandole attraverso meccanismi di embedding. In tal maniera, le misure di bontà dei classificatori risultanti superano quelle dei modelli di partenza.
Multiagent Systems Matteo Cristani
Alessandro Farinelli
Design and development of multiagent systems, where intelligent agents can interact among them and with the environment. Main research topics include: task assignment, distributed constraint optimization, decentralized optimization, decentralized reinforcement learning, cooperative perception.
Video Surveillance and Monitoring Marco Cristani
Vittorio Murino
This research aims at the analysis of people and the interpretation/recognition of human activities, possibly at the detection and prediction of events in unconstrained scenes, at individual, group and crowd level. In particular, the main target is on the analysis of nonverbal human behaviour, activities, and dialogue classification by considering vocal behavior, face & gazing, gesture & posture, space & environment. More specifically, the focus is on tracking and re-identification, object/person detection and classification, human pose estimation and activity recognition, automatic PTZ camera control, subjective surveillance, mobile sensing, data fusion.
Computer Vision Manuele Bicego
Vittorio Murino
Investigation of computational tools for the analysis of images and videos, with main goal of extracting useful information. In particular, 2D/3D object classification, 3D reconstruction, person detection and classification, video analysis and understanding, activity recognition, and in biometrics (face recognition and authentication, facial feature extraction, multimodal biometrics, behavioural biometrics) with application in video surveillance and biomedical image analysis.

Activities

Research facilities