Alessandro Farinelli

foto,  24 ottobre 2023
Qualifica
Professore ordinario
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_7 - Artificial intelligence, intelligent systems, natural language processing

PE6_5 - Security, privacy, cryptology, quantum cryptography

Settore di Ricerca (ERC)
PE6_7 - Artificial intelligence, intelligent systems, multi agent systems

PE6_5 - Cryptology, security, privacy, quantum crypto

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 64B
Telefono
+39 045 802 7842
E-mail
alessandro|farinelli*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
https://profs.scienze.univr.it/~farinelli/

Orario di ricevimento

lunedì, Ore 10.30 - 12.30,  

Curriculum
  • pdf   CV (en)   (pdf, en, 240 KB, 03/06/24)
  • pdf   CV (it)   (pdf, it, 246 KB, 03/06/24)

Alessandro Farinelli è professore ordinario presso l'Università di Verona, Dipartimento di Informatica.

I suoi interessi di ricerca si focalizzano sullo sviluppo di metodologie innovative per sistemi di Intelligenza Artificiale con applicazioni nel campo della robotica. In particolare, le sue principali tematiche di ricerca si concentrano su:
-- coordinamento di sistemi multi-agente
-- ottimizzazione distribuita
-- apprendimento per rinforzo
-- analisi dei dati per sistemi ciberfisici.

Alessandro Farinelli è stato responsabile scientifico per numerosi progetti di ricerca nazionali ed internazionali focalizzati su tematiche relative allo sviluppo di sistemi di Intelligenza Artificiale. I suoi contributi scientifici si rivolgono principalmente a riviste internazionali nell'area dell'Intelligenza Artificiale (e.g., Artificial Intelligence e Journal of Artificial Intelligence Research) e sistemi robotici intelligenti (Autonomous Robots e Robotics and Autonomous Systems). Le principali conferenze cui contribuisce, sia come relatore che come organizzatore, includono International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), International Joint Conference on Artificial Intelligence (IJCAI) e International Conference on Intelligent Robots and Systems (IROS).

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 48.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Artificial Intelligence [LM-18] AI & Robotics (2024/2025)   6    (Teoria)
Laurea in Informatica [L-31] Intelligenza artificiale (2024/2025)   6  eLearning
Laurea magistrale in Artificial Intelligence [LM-18] Planning and Automated Reasoning (2024/2025)   12  eLearning PLANNING
Dottorato in Informatica Autonomous Agents and Multi-Agent Systems (2023/2024)   5  eLearning
Laurea magistrale in Artificial Intelligence [LM-18] Cooperative Game Theory in the (Deep) RL Era (2023/2024)   2     
Laurea in Bioinformatica [L-31] Intelligenza artificiale (2023/2024)   6  eLearning
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Mobile robotics (2023/2024)   6  eLearning (Teoria)
Laurea magistrale in Artificial Intelligence [LM-18] Planning and Automated Reasoning (2023/2024)   12  eLearning PLANNING
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Mobile robotics (2022/2023)   6  eLearning (Teoria)
Laurea magistrale in Artificial Intelligence [LM-18] Planning and Automated Reasoning (2022/2023)   12  eLearning PLANNING
Laurea in Informatica [L-31] Programmazione I [Matricole dispari] (2022/2023)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti di intelligenza artificiale (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Mobile robotics (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Data Science (LM-91) Statistical learning (2021/2022)   6  eLearning PART I
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti di intelligenza artificiale (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Mobile robotics (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Data Science (LM-91) Statistical learning (2020/2021)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Bioinformatica [L-31] Algoritmi (2019/2020)   12  eLearning LABORATORIO DI PROGRAMMAZIONE II (Teoria)
LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti (2019/2020)   12  eLearning INTELLIGENZA ARTIFICIALE (Laboratorio)
INTELLIGENZA ARTIFICIALE (Teoria)
Laurea in Bioinformatica [L-31] Algoritmi (2018/2019)   12  eLearning LABORATORIO DI PROGRAMMAZIONE II (Teoria)
LABORATORIO DI PROGRAMMAZIONE II (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti (2018/2019)   12  eLearning INTELLIGENZA ARTIFICIALE (Laboratorio)
INTELLIGENZA ARTIFICIALE (Teoria)
Laurea in Bioinformatica [L-31] Algoritmi (2017/2018)   12  eLearning LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti (2017/2018)   12  eLearning INTELLIGENZA ARTIFICIALE
Laurea in Bioinformatica [L-31] Algoritmi (2016/2017)   12  eLearning LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti (2016/2017)   12  eLearning INTELLIGENZA ARTIFICIALE
Laurea in Bioinformatica [L-31] Algoritmi (2015/2016)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti (2015/2016)   12    INTELLIGENZA ARTIFICIALE
Laurea in Bioinformatica [L-31] Algoritmi (2014/2015)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Intelligenza artificiale (2014/2015)   6   
Laurea in Bioinformatica [L-31] Algoritmi (2013/2014)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Intelligenza artificiale (2013/2014)   6   
Laurea in Bioinformatica [L-31] Algoritmi (2012/2013)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Intelligenza artificiale (2012/2013)   6   
Laurea in Bioinformatica [L-31] Algoritmi (2011/2012)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Intelligenza artificiale (2011/2012)   6   
Laurea in Bioinformatica [L-31] Algoritmi (2010/2011)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Ragionamento automatico (2010/2011)   6   
Laurea in Bioinformatica [L-31] Algoritmi (2009/2010)   12    LABORATORIO DI PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Ragionamento automatico (2009/2010)   6   

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Gruppi di ricerca

Intelligenza Artificiale (IA)
Il gruppo svolge ricerche in Intelligenza Artificiale: Ragionamento Automatico, Algoritmi di Ricerca, Rappresentazione della Conoscenza, Apprendimento Automatico, Sistemi Multi-Agenti e applicazioni.
ISLa - Intelligent Systems Lab
Intelligenza artificiale, statistical learning ed analisi dei dati per sistemi intelligenti
PARCO – Parallel Computing
Obiettivo del gruppo di ricerca è lo sviluppo e ottimizzazione di Software per sistemi di calcolo multi-core CPU/many-core GPU con vincoli di risorse (e.g., Edge Computing) e per sistemi di calcolo ad alte prestazioni (High-performance Computing – HPC).
Robotica, Intelligenza Artificiale e Controllo
Il gruppo di ricerca si occupa di robotica non convenzionale
Competenze
Argomento Descrizione Area di ricerca
Agenti intelligenti L'area di ricerca degli agenti intelligenti si occupa di progettare e sviluppare entita' autonome in grado di percepire, comprendere ed interagire con l'ambiente in cui gli agenti operano. Alcuni degli argomenti di tale area di ricerca sono: pianificazione delle azioni, apprendimento, ragionamento in condizioni di incertezza. Intelligenza Artificiale
Distributed artificial intelligence
AI e robotica Applicazione di tecniche di intelligenza artificiale per aumentare il livello di autonomia dei sistemi robotici. Ciò include l'adattamento di algoritmi per la pianificazione autonoma e l'apprendimento per rinforzo per: i) gestire i vincoli cyber-fisici imposti dai robot che operano in scenari parzialmente osservabili e incerti; ii) garantire l'affidabilità e la robustezza dei sistemi robotici che operano in ambienti aperti (ad esempio, interagendo con gli esseri umani e altri sistemi robotici); iii) facilitare l'uso di sistemi robotici in applicazioni realistiche proponendo nuovi paradigmi di interazione con gli utenti (ad esempio, addestrare un robot a eseguire un compito piuttosto che specificare un programma di controllo). Intelligenza Artificiale
Planning and scheduling
Apprendimento non supervisionato È un approccio in cui i modelli vengono addestrati su dati non etichettati, con l'obiettivo di identificare schemi o strutture nascoste all'interno dei dati senza etichette predefinite. Viene comunemente utilizzato per compiti come il clustering, la riduzione della dimensionalità dei dati e il rilevamento delle anomalie. La ricerca aperta nell'apprendimento non supervisionato si concentra sul miglioramento della capacità di scoprire strutture significative in insiemi di dati complessi e ad alta dimensione, spesso con conoscenze preliminari limitate. Le sfide principali includono lo sviluppo di algoritmi di clustering più efficaci, il miglioramento dell'interpretabilità dei modelli che scoprono strutture latenti e la gestione di alti livelli di rumore o scarsità nei dati. Inoltre, sono in corso lavori per colmare il divario tra l'apprendimento non supervisionato e altri paradigmi, come l'apprendimento semi-supervisionato, auto-supervisionato e per contrasto, e per migliorare la robustezza dei modelli non supervisionati nelle applicazioni reali. Intelligenza Artificiale
Machine learning
Apprendimento per rinforzo Il Reinforcement Learning (RL) è un paradigma di apprendimento in cui gli agenti imparano a risolvere problemi di decision-making sequenziale attraverso interazioni con l'ambiente. I I metodi di RL addestrano un modello considerando un segnale di ricompensa associato alle azioni eseguite nell'ambiente (ricompensa elevata per buone azioni e viceversa). Il modello mira a ottimizzare la ricompensa accumulata attesa nel tempo. Il RL è molto interessante per applicazioni pratiche (ad esempio, robotica, sistemi di raccomandazione) perché richiede specifiche minime dall'utente e può adattarsi a cambiamenti imprevedibili nell'ambiente. Le sfide principali riguardano l'ideazione di policy sicure per gli agenti, ad esempio, l'apprendimento evitando errori catastrofici (apprendimento di rinforzo sicuro e apprendimento di rinforzo offline), per valutare correttamente la qualità di un sistema addestrato, ad esempio, garantire che l'agente si comporterà correttamente in situazioni ignote e per migliorare l'efficienza nell'utilizzo dei singoli campioni, ad esempio, apprendimento per rinforzo basato su modello. Intelligenza Artificiale
Machine learning
Apprendimento supervisionato È un approccio in cui i modelli vengono addestrati su dati etichettati per apprendere una mappatura dagli input agli output, consentendo loro di prevedere etichette corrette per nuovi dati non visti. Sebbene sia ampiamente utilizzato per compiti come classificazione, regressione e predizione di serie temporali, la ricerca attuale in questo campo affronta diverse sfide. Tra le questioni principali, si annoverano come rendere i modelli più robusti al rumore e alle incongruenze delle etichette, migliorare l’efficienza dei campioni per ridurre la necessità di grandi set di dati etichettati e abilitare un "trasferimento" di conoscenza (transfer learning) efficace tra compiti e domini diversi con dati etichettati limitati. Inoltre, affrontare problematiche di equità e bias nei modelli supervisionati, così come migliorare la scalabilità per gestire grandi set di dati senza compromettere le prestazioni, oltre che approcci basati su attenzione/transformer restano aree di ricerca attive. Intelligenza Artificiale
Machine learning
Deep learning Si focalizza sull'addestramento di reti neurali profonde, ovvero con numerosi strati, per apprendere automaticamente pattern e rappresentazioni da grandi quantità di dati. Utilizzando architetture come le reti neurali convoluzionali (CNN) per le immagini, le reti neurali ricorrenti (RNN) per i dati sequenziali e i transformer per compiti diversi, l'apprendimento profondo eccelle in compiti complessi come il riconoscimento delle immagini, l'elaborazione del linguaggio naturale, il riconoscimento vocale, il reinforcement learning, la predizione di serie temporali e la guida autonoma. Intelligenza Artificiale
Machine learning
Intelligenza artificiale spiegabile L'obiettivo dell'IA spiegabile (XAI) è i) spiegare i modelli black-box; ii) sviluppare modelli di IA che siano interpretabili per costruzione. Ad esempio, ciò comporta l'analisi e la scoperta causale, i modelli logici di agenzia (con la programmazione logica) e l'apprendimento automatico logico (con la programmazione logica induttiva). XAI aiuta a caratterizzare l'accuratezza del modello, l'equità, la trasparenza e i risultati nel processo decisionale alimentato dall'IA; inoltre questo campo si concentra sui metodi per migliorare l'interpretazione dei modelli e delle decisioni utilizzando strumenti statistici e grafici. Intelligenza Artificiale
Machine learning
Pianificazione con incertezza La pianificazione con incertezza si concentra su processi decisionali sequenziali in ambienti incerti, cioè in situazioni con informazioni imperfette. I processi decisionali di Markov (completamente o parzialmente osservabili) vengono utilizzati per rappresentare questi contesti. L'obiettivo della pianificazione con incertezza è generare politiche ottimali per questi problemi, vale a dire funzioni in grado di suggerire azioni ottimali nelle situazioni in cui l'agente opera. Le principali sfide riguardano la gestione di grandi problemi (scalabilità), l'acquisizione di nuove conoscenze sull'ambiente (adattabilità), la prevenzione di comportamenti indesiderati (safety), il miglioramento sicuro delle politiche (robustezza), l'interazione con gli esseri umani (human-in-the-loop), il supporto alla comprensione umana (spiegabilità), il collegamento tra pianificazione e apprendimento per rinforzo (RL basato su modelli), il collegamento tra pianificazione simbolica e probabilistica/data-driven. Tra gli approcci più recenti per affrontare queste sfide, i metodi online basati su Monte Carlo Tree Search hanno ottenuto ottimi risultati negli ultimi anni sia nei giochi strategici (ad esempio il gioco Go) sia nelle applicazioni del mondo reale (ad esempio, robotica, sistemi cyber-fisici e sistemi di supporto alle decisioni). Intelligenza Artificiale
Planning and scheduling
Pianificazione multi-agente La pianificazione multiagente si occupa di sviluppare approcci di pianificazione applicati ai sistemi multiagente. L'obiettivo principale di queste tecniche è generare soluzioni per il processi decisionali sequenziali che promuovano la sinergia tra più agenti autonomi per raggiungere obiettivi collettivi. Tra gli argomenti principali di questo campo ci sono l'ottimizzazione decentralizzata, la pianificazione di percorsi multiagente, l'apprendimento multiagente, la cooperazione e il coordinamento tra agenti. Strumenti importanti in questo ambiti sono, ad esempio, i coordination graph utilizzati nei recenti algoritmi di pianificazione multiagente ed in quelli di apprendimento per rinforzo multi-agente (MARL) in cui il coordinamento tra agenti è essenziale per portare a termine il compito. I grafici di coordinamento consentono di rappresentare il modo in cui gli agenti possono coordinarsi utilizzando una comunicazione tramite passaggio di messaggi. Le applicazioni della pianificazione multiagente si estendono su un ampio insieme di domini tra cui guida autonoma, logistica (ad esempio, gestione di flotte di robot autonomi), monitoraggio ambientale (flotte di droni mobili per l'acquisizione di dati). Intelligenza Artificiale
Planning and scheduling
Pianificazione neurosimbolica L'IA neurosimbolica si concentra sulla combinazione dell'IA standard basata sui dati (ad esempio, l'apprendimento per rinforzo) con approcci simbolici (ad esempio, la programmazione logica e la programmazione logica induttiva), al fine di migliorare la spiegabilità dei sistemi di IA (ad esempio, gli agenti autonomi), la loro efficacia nell'interazione uomo-robot e favorire l'acquisizione incrementale di conoscenza e la generalizzazione nella pianificazione. Intelligenza Artificiale
Planning and scheduling
Sistemi Multiagente L'area di ricerca dei sistemi multiagente si occupa di progettare e sviluppare sistemi in cui agenti intelligenti interagiscono tra loro, con l'ambiente e con persone. Questa area di ricerca si folalizza sull'interazione ed integrazione di tecniche di soluzione relative a pianificazione per sistemi multi-agente, apprendimento statistico, apprendimento per rinforzo in sistemi multi-agente e teoria dei giochi. Intelligenza Artificiale
Distributed artificial intelligence
Progetti
Titolo Data inizio
Analisi comparativa di soluzioni basate su algoritmi evolutivi per VRP generalizzato e multi-obiettivo, nell’ambito del progetto AIDESS (L.P. n. 6 del 1999 della Provincia di Trento)” 21/12/23
Sviluppo di metodi di Intelligenza Artificiale per supporto vendita polizze assicurative 21/11/22
Sviluppo di una soluzione di pianificazione del moto efficiente e robusta per manipolatori robotici iper-ridondanti 01/10/22
SPACE13 INNOVATION-LAB 11/01/22
JP2019 - Controllo intelligente per sistemi di riscaldamento tramite tecniche di apprendimento per rinforzo 01/10/20
SAFE PLACE Sistemi IoT per ambienti di vita salubri e sicuri 10/09/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 09/03/20
Supporto per acquisizione, gestione ed analisi di dati nel contesto di applicazioni di tipo “smart-land" 27/01/20
Studio e sviluppo di tecniche di apprendimento automatico per la predizione di dati volta all’ottimizzazione dei processi nel settore delle utilities 22/10/19
Model-Based Design and Verication Flow for Embedded Vision Applications 26/02/19
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
JP2017 - Analisi Attiva dei Malware basata su tecniche di Apprendimento per Rinforzo 01/01/18
COREWOOD - Riposizionamento competitivo del la filiera del legno 07/11/17
GHOTEM - Global House Thermal & Electrical Energy Management 07/11/17
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive 13/12/16
INTCATCH - Development and application of Novel, Integrated Tools for monitoring and managing Catchments 01/06/16
JP2015 - EXPO-AGRI - Osservazione degli impianti oltre campo per il monitoraggio e la previsione delle infezioni agricole 01/02/16
Controllo automatico di processo per risparmio energetico e recupero di risorse dalle acque reflue 28/03/14
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008) 27/01/10




Organizzazione

Strutture del dipartimento

Condividi