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
Dottorando
Alberto Castellini
Ricercatore a tempo determinato
Matteo Cristani
Professore associato
Giulio Mazzi
Incaricato alla ricerca
Claudio Tomazzoli
Ricercatore a tempo determinato
Edoardo Zorzi
Borsista
Maria Paola Bonacina
Professore ordinario
Ferdinando Cicalese
Professore ordinario
Alessandro Farinelli
Professore ordinario
Luca Pasetto
Professore a contratto (Dipartimento Lingue e Letterature Straniere)
Tewabe Chekole Workneh
Dottorando
Maddalena Zuccotto
Dottorando
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 robotici e automazione Sistemi robotici e automazione
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
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
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
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

Condividi