Matteo Cristani

Fotografia,  16 dicembre 2008
Qualifica
Ricercatore
Settore disciplinare
INF/01 - INFORMATICA
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 88
Telefono
045 802 7983
Fax
045 8027068
E-mail
matteo|cristani*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://www.sci.univr.it/~cristani

Orario di ricevimento

lunedì, Ore 10.15 - 11.45,  
venerdì, Ore 9.00 - 10.00,  
Orario di ricevimento invernale 2017/2018: Lunedì 10.15-11.45 e Venerdì 9.00-10.00 presso il palazzo di Lettere e Lingue

Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 74.
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 Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2017/2018)   6  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2017/2018)   6  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2016/2017)   6  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2016/2017)   6  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2015/2016)   6  eLearning
Laurea in Scienze dei servizi giuridici Informatica (2015/2016)   3  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2015/2016)   6  eLearning
Laurea in Informatica Logica (2015/2016)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2015/2016)   6  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2014/2015)   6  eLearning
Laurea in Scienze dei servizi giuridici Informatica (2014/2015)   3  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2014/2015)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2014/2015)   6  eLearning
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2013/2014)   6   
Laurea in Scienze dei servizi giuridici Informatica (2013/2014)   3  eLearning
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2013/2014)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2013/2014)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2012/2013)   6   
Laurea in Scienze dei servizi giuridici Informatica (2012/2013)   3   
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2012/2013)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2012/2013)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2011/2012)   6   
Laurea magistrale a ciclo unico in Giurisprudenza Informatica (2011/2012)   3   
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2011/2012)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2011/2012)   6   
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2011/2012)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Comunicazione on line, reti e virtualità (2010/2011)   6   
Laurea magistrale a ciclo unico in Giurisprudenza Informatica (2010/2011)   3   
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2010/2011)   6   
Laurea magistrale in Lingue per la comunicazione turistica e commerciale Informatica per il commercio elettronico (2010/2011)   6   
Laurea in Informatica Programmazione I (2010/2011)   12    (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2010/2011)   6   
Laurea Specialistica in Lingue per la comunicazione commerciale e la promozione del turismo internazionale - ordinamento fino all'a.a. 2008/09 (disattivato) Comunicazione on line, reti e virtualità (2009/2010)   6   
Master Universitario in Computer game development (I livello) Fundamentals of Artificial Intelligence (2009/2010)   4   
Laurea in Scienze dei servizi giuridici per il lavoro (ordinamento fino all'a.a. 2008/09) Informatica (2009/2010)   5   
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2009/2010)   6   
Laurea Specialistica in Lingue per la comunicazione commerciale e la promozione del turismo internazionale - ordinamento fino all'a.a. 2008/09 (disattivato) Informatica per il commercio elettronico (2009/2010)   6   
Laurea in Bioinformatica Programmazione (2009/2010)   12    PROGRAMMAZIONE PER BIOINFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Web semantico (2009/2010)   6   
Laurea Specialistica in Lingue per la comunicazione commerciale e la promozione del turismo internazionale - ordinamento fino all'a.a. 2008/09 (disattivato) Comunicazione on line, reti e virtualità (2008/2009)   6   
Laurea in Scienze dei servizi giuridici per il lavoro (ordinamento fino all'a.a. 2008/09) Informatica (2008/2009)   5   
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2008/2009)   6   
Laurea Specialistica in Lingue per la comunicazione commerciale e la promozione del turismo internazionale - ordinamento fino all'a.a. 2008/09 (disattivato) Informatica per il commercio elettronico (2008/2009)   6   
Laurea specialistica in Informatica Sistemi esperti (2008/2009)   5   
Laurea Specialistica in Lingue per la comunicazione commerciale e la promozione del turismo internazionale - ordinamento fino all'a.a. 2008/09 (disattivato) Comunicazione on line, reti e virtualità (2007/2008)   6   
Laurea magistrale a ciclo unico in Giurisprudenza Informatica (2007/2008)   5   
Laurea Specialistica in Lingue per la comunicazione commerciale e la promozione del turismo internazionale - ordinamento fino all'a.a. 2008/09 (disattivato) Informatica per il commercio elettronico (2007/2008)   6   
Laurea specialistica in Informatica Sistemi esperti (2007/2008)   5   
Laurea magistrale a ciclo unico in Giurisprudenza Informatica (2006/2007)   5   
Laurea specialistica in Sistemi intelligenti e multimediali Intelligenza artificiale (2006/2007)   5   
Laurea specialistica in Informatica Sistemi esperti (2006/2007)   5   
Laurea in Scienze giuridiche Informatica di base [Studenti 1° anno] (2005/2006)   5   
Laurea in Scienze giuridiche Informatica di base [Studenti 2° anno] (2005/2006)   5   
Laurea specialistica in Informatica Sistemi esperti (2005/2006)   5   
Laurea specialistica in Sistemi intelligenti e multimediali Intelligenza artificiale (2004/2005)   5     
Laurea specialistica in Informatica Sistemi esperti (2004/2005)   5     
Laurea in Scienze giuridiche Informatica di base [Studenti 1° anno] (2003/2004)   5     
Laurea in Scienze giuridiche Informatica di base [Studenti 2° anno] (2003/2004)   5     
Laurea specialistica in Informatica Sistemi esperti (2003/2004)   5     
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2002/2003)   5     
Laurea specialistica in Informatica Sistemi esperti (2002/2003)   5     
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2001/2002)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2001/2002)   4     
Laurea in Informatica (vecchio ordinamento) Sistemi esperti (2001/2002)   1     
Laurea in Informatica (vecchio ordinamento) Informatica di base (2000/2001)   1     
Laurea in Biotecnologie Agro-Industriali (vecchio ordinamento) Informatica generale (2000/2001)   60     
Laurea in Informatica (vecchio ordinamento) Intelligenza artificiale: sistemi esperti (2000/2001)   1     
Laurea in Informatica (vecchio ordinamento) Intelligenza artificiale: sistemi esperti (1999/2000)   1     
Laurea in Informatica (vecchio ordinamento) Laboratorio di algoritmi e strutture dati (1999/2000)   1     

 

Gruppi di ricerca

K.Re.Art.I.
Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
Logica
Logica in matematica ed informatica.
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. Sistemi intelligenti
Computing methodologies - Artificial intelligence
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Ingegneria del software e sicurezza
Security and privacy - Network security
Ragionamento automatico Dimostrazione automatica di teoremi; Costruzione automatica di modelli; Ragionamento su programmi; Analisi di strategie di dimostrazione automatica di teoremi; Deduzione automatica distribuita; Strategie di dimostrazione automatica di teoremi: basate su ordinamenti (risoluzione e riscrittura), riduzione a sotto-goal, generazione di istanze; Procedure di decisione per la soddisfacibilità modulo teorie e loro applicazione alla verifica di proprietà di programmi; Sistemi intelligenti
Computing methodologies - Artificial intelligence
Rappresentazione della conoscenza 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 intelligenti
Computing methodologies - Artificial intelligence
Sistemi Multiagente L'area di ricerca dei sistemi multiagente si occupa di progettare e sviluppare sistemi in cui agenti intelligenti interagiscono tra loro e con l'ambiente. Alcuni degli argomenti di tale area di ricerca sono: assegnazione dei compiti, ragionamento a vincoli distribuito, ottimizzazione decentralizzata, apprendimento decentralizzato, percezione cooperativa. Sistemi intelligenti
Computing methodologies - Artificial intelligence
Progetti
Titolo Data inizio
OSWINE - Online Supervision for Wine Cellar Production Unities. Supervisione Online (via web) per Unità di Produzione del Vino (Cantine) 08/01/16
Lo sviluppo delle imprese IT per competere nel mercato 3.0 01/08/14
Sviluppare strategie di marketing per la penetrazione commerciale del prodotto 09/07/14
Utilizzo di modelli di costing & pricing per il miglioramento delle performance economiche dell'impresa 09/07/14
Implementazione di metodologie e tecniche di lean production per un'azienda più competitiva 09/07/14
Adozione di una soluzione tecnologica brevettata per lo sviluppo di un nuovo prodotto 09/07/14
Ottimizzare per crescere: lo sviluppo partendo dall'efficienza attraverso l'approccio lean 09/07/14
Ottimizzazione dei processi di logistica di magazzino con integrazione di software per la gestione ordinativi 09/07/14
Sviluppo delle competenze per l'ottimizzazione dei processi aziendali in ottica lean 09/07/14
Controllo dei costi attraverso metodologie di Lean Accounting 09/07/14
Interventi di supervisione tecnica nell'ambito del progetto didattico denominato "Le avventure di Supertab" 04/07/14
Strumenti innovativi per strategie di marketing ed il miglioramento della comunicazione 11/06/14
Interventi di innovazione organizzativa 11/06/14
E-commerce per progettare lo sviluppo agroalimentare 03/12/13
Security Horizons 01/02/13
RODAOS - The retrieval of documents and objects in a single net 19/12/12
DASAST - Documental Archives Systems Augmented by Semantic Tagging 26/09/09
The web of taxes: un sistema per il retrieval, la classificazione e l'inserimento in basi di dati di aliquote e detrazioni fiscali nell'ambito delle imposte locali 11/09/09
Metodi per l'integrazione e l'aggiornamento continuo di dati spaziali in applicazioni geografiche (PRIN 2007) 22/09/08
Ontology-driven Normalization and Duplicate Elimination of postal addresses in multi-lingual environment (ONDE) - Joint Project 2007 01/08/08
Analisi e formazione sulla progettazione di sistemi basati su tecnologie di elaborazione del linguaggio naturale 16/06/08
ODIRD Upper-level Ontology-driven Interpretation of Raw Data 22/05/07
Metodologie e tecnologie per il GeoMArketing con Sistemi Informativi Territoriali in ambito Postale 02/05/07
INVIA - Metodologie e tecnologie per la normalizzazione e la deduplica di indirizzi strutturati con tecnologie di text mining 15/01/07
Tecnologie di Workflow e Ontologie Formali nel Supporto alla Produzione dei Profilati in Alluminio: Analisi Concettuale e Sviluppo Prototipale 15/01/07
SORIDO (Sistemi Ontologici per la Riduzione dei costi e l'item deproliferation managment) II 27/04/06
SORIDO (Sistemi Ontologici per la Riduzione dei costi e l'item deproliferation managment) I 21/04/05
Accesso integrato a informazione spazio-temporale 01/01/05
Canone Ontologico. Un approccio integrativo alla organizzazione della conoscenza (PRIN 2004 ESTERNO) 30/11/04
Progettazione di un sistema informativo basato su ontologie in grado di supportare le dinamiche di condivisione di conoscenza tra diverse unità organizzative 13/05/04
Tecniche di decisione automatica con criteri multipli e Valutazioni Arbitrarie 2 16/04/04
Ontologia degli artefatti e dei servizi alle imprese II 29/01/04
DAVA - Tecniche di Decisione Automatica con criteri multipli e Valutazioni Arbitrarie 06/03/03
Ontologia degli artefatti e dei servizi alle imprese I 27/02/03
(CoVer) Constraint-based Verification of Reactive systems 01/12/02
Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001) 01/01/01




Organizzazione

Strutture del dipartimento