Gruppi di ricerca-Dip.Ingegneria per la medicina di innovazione-Università degli Studi di Verona

Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. ISLa - Intelligent Systems Lab

ISLa - Intelligent Systems Lab

Il gruppo di ricerca del Intelligent System Lab (ISLa) ha l'obiettivo di sviluppare ricerca metodologica e applicata in intelligenza artificiale, machine learning e analisi dei dati per sistemi intelligenti. Le metodologie studiate vanno dall'apprendimento per rinforzo e pianificazione con incertezza, al coordinamento multi-agente, il modeling probabilistico e l'analisi statistica di dati. I domini applicativi vanno dalla robotica e l'industria 4.0, alla sicurezza ed i sistemi ciber fisici, per citare alcuni esempi. Il gruppo partecipa a progetti di ricerca nazionali e internazionali ed ha collaborazioni con centri di ricerca italiani ed esteri.

URL
https://isla-lab.github.io/

Federico Bianchi
Assegnista (Dipartimento Informatica)
Davide Corsi
Incaricato alla ricerca (Dipartimento Informatica)
Luca Marzari
Dottorando (Dipartimento Informatica)
Francesco Trotti
Assegnista
Alberto Castellini
Professore associato (Dipartimento Informatica)
Alessandro Farinelli
Professore ordinario (Dipartimento Informatica)
Daniele Meli
Ricercatore a tempo determinato (Dipartimento Informatica)
Argomento Area di ricerca
Agenti intelligenti Intelligenza Artificiale Artificial intelligence
Agenti intelligenti Intelligenza Artificiale Distributed artificial intelligence
Agenti intelligenti Ingegneria del Software e Verifica Formale Distributed artificial intelligence
AI e robotica Intelligenza Artificiale Planning and scheduling
AI e robotica Ingegneria del Software e Verifica Formale Planning and scheduling
Apprendimento non supervisionato Intelligenza Artificiale Machine learning
Apprendimento non supervisionato Ingegneria del Software e Verifica Formale Machine learning
Apprendimento per rinforzo Intelligenza Artificiale Machine learning
Apprendimento per rinforzo Ingegneria del Software e Verifica Formale Machine learning
Apprendimento supervisionato Intelligenza Artificiale Machine learning
Apprendimento supervisionato Ingegneria del Software e Verifica Formale Machine learning
Deep learning Intelligenza Artificiale Machine learning
Deep learning Ingegneria del Software e Verifica Formale Machine learning
Intelligenza artificiale spiegabile Intelligenza Artificiale Machine learning
Intelligenza artificiale spiegabile Ingegneria del Software e Verifica Formale Machine learning
Pianificazione con incertezza Intelligenza Artificiale Planning and scheduling
Pianificazione con incertezza Ingegneria del Software e Verifica Formale Planning and scheduling
Pianificazione multi-agente Intelligenza Artificiale Planning and scheduling
Pianificazione multi-agente Ingegneria del Software e Verifica Formale Planning and scheduling
Pianificazione neurosimbolica Intelligenza Artificiale Planning and scheduling
Pianificazione neurosimbolica Ingegneria del Software e Verifica Formale Planning and scheduling
Sistemi Multiagente Intelligenza Artificiale Distributed artificial intelligence
Sistemi Multiagente Ingegneria del Software e Verifica Formale Distributed artificial intelligence
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Controllo automatico di processo per risparmio energetico e recupero di risorse dalle acque reflue Alessandro Farinelli 28/03/2014 12
COREWOOD - Riposizionamento competitivo del la filiera del legno Franco Fummi Regione del Veneto 07/11/2017 36
GHOTEM - Global House Thermal & Electrical Energy Management Franco Fummi Regione del Veneto 07/11/2017 36
INTCATCH - Development and application of Novel, Integrated Tools for monitoring and managing Catchments Alessandro Farinelli Unione Europea 01/06/2016 44
JP2015 - EXPO-AGRI - Osservazione degli impianti oltre campo per il monitoraggio e la previsione delle infezioni agricole Davide Quaglia Agricontrol snc di Balbo e Secco, Ateneo, Centro di sperimentazione e assistenza agricola - CERSAA 01/02/2016 24
Model-Based Design and Verication Flow for Embedded Vision Applications Nicola Bombieri INdAM 26/02/2019 12
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008) Damiano Carra PRIN VALUTATO POSITIVAMENTE 27/01/2010 24
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications Graziano Pravadelli GNCS National Group for Scientific Computation INDAM 09/03/2020 12
Studio e sviluppo di tecniche di apprendimento automatico per la predizione di dati volta all’ottimizzazione dei processi nel settore delle utilities Alessandro Farinelli, Luca Di Persio Terranova s.r.l. 22/10/2019 12
Supporto per acquisizione, gestione ed analisi di dati nel contesto di applicazioni di tipo “smart-land" Alessandro Farinelli Smartea s.r.l. 27/01/2020 12
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive Davide Quaglia ALLEGRETTI ALBERTO & C. sas 13/12/2016 3
Condividi