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.
 
Nicola Assolini
Borsista (Dipartimento Informatica)
Alberto Castellini
Ricercatore a tempo determinato (Dipartimento Informatica)
Davide Corsi
Dottorando (Dipartimento Informatica)
Alessandro Farinelli
Professore ordinario (Dipartimento Informatica)
Giulio Mazzi
Dottorando (Dipartimento Informatica)
Luca Pasetto
Dottorando (Dipartimento Informatica)
Tewabe Chekole Workneh
Assegnista (Dipartimento Informatica)
Maddalena Zuccotto
Dottorando (Dipartimento Informatica)
Maria Paola Bonacina
Professore ordinario (Dipartimento Informatica)
Ferdinando Cicalese
Professore associato (Dipartimento Informatica)
Matteo Cristani
Ricercatore (Dipartimento Informatica)
Enrico Marchesini
Dottorando (Dipartimento Informatica)
Antonino Parisi
Borsista (Dipartimento Informatica)
Claudio Tomazzoli
Professore a contratto
Edoardo Zorzi
Borsista (Dipartimento Informatica)
Argomento Area di ricerca
Agenti intelligenti Sistemi intelligenti Artificial intelligence
Algoritmi per la Bioinformatica Bioinformatica e informatica medica Life and medical sciences
Bioinformatics and Natural Computing Bioinformatica e informatica medica Life and medical sciences
Formal methods and theory of security Ingegneria del Software e Sicurezza Formal methods and theory of security
Network security Ingegneria del Software e Sicurezza Network security
Ottimizzazione di Alberi di Decisione Sistemi intelligenti Machine learning
Ragionamento automatico Sistemi intelligenti Artificial intelligence
Rappresentazione della conoscenza Sistemi intelligenti Artificial intelligence
Robotica Sistemi ciberfisici Embedded and cyber-physical systems
Sistemi Multiagente Sistemi intelligenti Artificial intelligence
Teorie e Tecniche del Riconoscimento Sistemi intelligenti Machine learning
Verifica del software Informatica teorica Logic
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
COREWOOD - Riposizionamento competitivo del la filiera del legno Franco Fummi Regione del Veneto 07/11/2017 36
EXPO-AGRI - EXtra-field Plant Observation for monitoring and forecast of AGRicultural Infections - Joint Projects 2015 Davide Quaglia Agricontrol snc di Balbo e Secco, Ateneo, Centro di sperimentazione e assistenza agricola - CERSAA 01/02/2016 30
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
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca 22/09/2008 24
Rich-model toolkit: an infrastructure for reliable computer systems (EU COST Action IC0109) 2009-2013 Maria Paola Bonacina Unione Europea 30/10/2009 48
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

Attività

Strutture