Matteo Cristani

  1. Home
  2. Department
  3. People
  4. Matteo Cristani
Fotografia, December 16, 2008
Position
Assistant Professor
Academic sector
INF/01 - INFORMATICS
Research sector (ERC)
PE6_7 - Artificial intelligence, intelligent systems, multi agent systems

PE6_5 - Cryptology, security, privacy, quantum crypto

PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Office
Ca' Vignal 2,  Floor 1,  Room 88
Telephone
045 802 7983
Fax
045 8027068
E-mail
matteo|cristani*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://www.sci.univr.it/~cristani

Office Hours

Monday, Hours 10:15 AM - 11:45 AM,  
Friday, Hours 9:00 AM - 10:00 AM,  
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

Modules

Modules running in the period selected: 76.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Logic [Matricole dispari] (2018/2019)   6    6 
Master's degree in Computer Science and Engineering Semantic web (2018/2019)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2017/2018)   6  eLearning 6 
Master's degree in Computer Science and Engineering Semantic web (2017/2018)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2017/2018)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2016/2017)   6  eLearning 6 
Master's degree in Computer Science and Engineering Semantic web (2016/2017)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2016/2017)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2015/2016)   6  eLearning 6 
Bachelor’s degree in Law Services Information Technology (2015/2016)   3  eLearning 3 
Bachelor's degree in Computer Science Logic (2015/2016)   6  eLearning 6 
Master's degree in Computer Science and Engineering Semantic web (2015/2016)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2015/2016)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2014/2015)   6  eLearning 6 
Bachelor’s degree in Law Services Information Technology (2014/2015)   3  eLearning 3 
Master's degree in Computer Science and Engineering Semantic web (2014/2015)   6  eLearning 6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2014/2015)   6  eLearning 6 
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2013/2014)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2013/2014)   6    6 
Bachelor’s degree in Law Services Information Technology (2013/2014)   3  eLearning 3 
Master's degree in Computer Science and Engineering Semantic web (2013/2014)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2013/2014)   6    6 
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2012/2013)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2012/2013)   6    6 
Bachelor’s degree in Law Services Information Technology (2012/2013)   3    3 
Master's degree in Computer Science and Engineering Semantic web (2012/2013)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2012/2013)   6    6 
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2011/2012)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2011/2012)   6    6 
Combined Bachelor's + Master's degree in Law Information Technology (2011/2012)   3    3 
Master's degree in Computer Science and Engineering Semantic web (2011/2012)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2011/2012)   6    6 
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2010/2011)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2010/2011)   6    6 
Combined Bachelor's + Master's degree in Law Information Technology (2010/2011)   3    3 
Bachelor's degree in Computer Science Programming I (2010/2011)   12    3  (Teoria)
3  (Laboratorio)
Master's degree in Computer Science and Engineering Semantic web (2010/2011)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2010/2011)   6    6 
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2009/2010)   6    6 
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Ecommerce IT technology (2009/2010)   6    6 
Degree in the Science of legal services for employment Information Technology (2009/2010)   5    5 
Bachelor's degree in Bioinformatics Introduction to Programming (2009/2010)   12    6  PROGRAMMAZIONE PER BIOINFORMATICA
Master's degree in Computer Science and Engineering Semantic web (2009/2010)   6    6 
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Social media technologies (2009/2010)   6    6 
Master I in Computer Game Development Fundamentals of Artificial Intelligence (2009/2010)   4    4 
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2008/2009)   6    6 
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Ecommerce IT technology (2008/2009)   6    6 
Masters in Computer Science Expert Systems (2008/2009)   5    5 
Degree in the Science of legal services for employment Information Technology (2008/2009)   5    5 
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Social media technologies (2008/2009)   6    6 
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Ecommerce IT technology (2007/2008)   6    6 
Masters in Computer Science Expert Systems (2007/2008)   5    5 
Combined Bachelor's + Master's degree in Law Information Technology (2007/2008)   5    5 
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Social media technologies (2007/2008)   6    6 
Masters in Intelligent and Multimedia Systems Artificial Intelligence (2006/2007)   5    5 
Masters in Computer Science Expert Systems (2006/2007)   5    5 
Combined Bachelor's + Master's degree in Law Information Technology (2006/2007)   5    5 
Masters in Computer Science Expert Systems (2005/2006)   5    5 
Degree in Law Introduction to Computing [Studenti 1° anno] (2005/2006)   5    5 
Degree in Law Introduction to Computing [Studenti 2° anno] (2005/2006)   5    5 
Masters in Intelligent and Multimedia Systems Artificial Intelligence (2004/2005)   5     
Masters in Computer Science Expert Systems (2004/2005)   5     
Masters in Computer Science Expert Systems (2003/2004)   5     
Degree in Law Introduction to Computing [Studenti 1° anno] (2003/2004)   5     
Degree in Law Introduction to Computing [Studenti 2° anno] (2003/2004)   5     
Masters in Computer Science Expert Systems (2002/2003)   5     
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2002/2003)   5     
Bachelor in Computer Science (old system) Expert Systems (2001/2002)   1     
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2001/2002)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2001/2002)   4     
Bachelor in Computer Science (old system) Artificial Intelligence: Expert Systems (2000/2001)   1     
Bachelor in Agroindustrial Biotechnology (old system) General Computing (2000/2001)   60     
Bachelor in Computer Science (old system) Introduction to Computing (2000/2001)   1     
Bachelor in Computer Science (old system) Algorithm and Data Structure workshop (1999/2000)   1     
Bachelor in Computer Science (old system) Artificial Intelligence: Expert Systems (1999/2000)   1     

 

Research groups

K.Re.Art.I.
Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
Logica
Logica in matematica ed informatica.
Skills
Topic Description Research area
Intelligent Agents Design and development of autonomous entities that can sense, model and interact with the environment in which they operate. Main research topics include: action planning, reinforcement learning, reasoning in face of uncertainty. 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
Automated Reasoning Automated theorem proving; Automated model building; Reasoning about programs; Strategy analysis; Distributed automated deduction; Theorem proving strategies: ordering-based strategies (resolution and rewriting), subgoal-reduction strategies, instance-based strategies; Decision procedures for satisfiability modulo theories and their application to check program properties 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
Multiagent Systems Design and development of multiagent systems, where intelligent agents can interact among them and with the environment. Main research topics include: task assignment, distributed constraint optimization, decentralized optimization, decentralized reinforcement learning, cooperative perception. Sistemi intelligenti
Computing methodologies - Artificial intelligence
Projects
Title Starting date
Piano formativo "Hospitality 4.0" Cod. AVI/007/16 id. 174808 Fondimpresa Avviso n. 272016 Macroarea A 2/17/17
Semantica documentale avanzata (ADOSEM) 7/15/16
OSWINE - Online Supervision for Wine Cellar Production Unities. Supervisione Online (via web) per Unità di Produzione del Vino (Cantine) 1/8/16
Lo sviluppo delle imprese IT per competere nel mercato 3.0 8/1/14
Sviluppare strategie di marketing per la penetrazione commerciale del prodotto 7/9/14
Utilizzo di modelli di costing & pricing per il miglioramento delle performance economiche dell'impresa 7/9/14
Implementazione di metodologie e tecniche di lean production per un'azienda più competitiva 7/9/14
Adozione di una soluzione tecnologica brevettata per lo sviluppo di un nuovo prodotto 7/9/14
Ottimizzare per crescere: lo sviluppo partendo dall'efficienza attraverso l'approccio lean 7/9/14
Ottimizzazione dei processi di logistica di magazzino con integrazione di software per la gestione ordinativi 7/9/14
Sviluppo delle competenze per l'ottimizzazione dei processi aziendali in ottica lean 7/9/14
Controllo dei costi attraverso metodologie di Lean Accounting 7/9/14
Interventi di supervisione tecnica nell'ambito del progetto didattico denominato "Le avventure di Supertab" 7/4/14
Strumenti innovativi per strategie di marketing ed il miglioramento della comunicazione 6/11/14
Interventi di innovazione organizzativa 6/11/14
E-commerce per progettare lo sviluppo agroalimentare 12/3/13
Security Horizons 2/1/13
RODAOS - The retrieval of documents and objects in a single net 12/19/12
DASAST - Documental Archives Systems Augmented by Semantic Tagging 9/26/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 9/11/09
Metodi per l'integrazione e l'aggiornamento continuo di dati spaziali in applicazioni geografiche (PRIN 2007) 9/22/08
Ontology-driven normalization and duplicate elimination of postal addresses in multi-lingual environment (ONDE) 8/1/08
Analisi e formazione sulla progettazione di sistemi basati su tecnologie di elaborazione del linguaggio naturale 6/16/08
ODIRD Upper-level Ontology-driven Interpretation of Raw Data 5/22/07
Metodologie e tecnologie per il GeoMArketing con Sistemi Informativi Territoriali in ambito Postale 5/2/07
INVIA - Metodologie e tecnologie per la normalizzazione e la deduplica di indirizzi strutturati con tecnologie di text mining 1/15/07
Tecnologie di Workflow e Ontologie Formali nel Supporto alla Produzione dei Profilati in Alluminio: Analisi Concettuale e Sviluppo Prototipale 1/15/07
SORIDO (Sistemi Ontologici per la Riduzione dei costi e l'item deproliferation managment) II 4/27/06
SORIDO (Sistemi Ontologici per la Riduzione dei costi e l'item deproliferation managment) I 4/21/05
Accesso integrato a informazione spazio-temporale 1/1/05
Canone Ontologico. Un approccio integrativo alla organizzazione della conoscenza (PRIN 2004 ESTERNO) 11/30/04
Progettazione di un sistema informativo basato su ontologie in grado di supportare le dinamiche di condivisione di conoscenza tra diverse unità organizzative 5/13/04
Tecniche di decisione automatica con criteri multipli e Valutazioni Arbitrarie 2 4/16/04
Ontologia degli artefatti e dei servizi alle imprese II 1/29/04
DAVA - Tecniche di Decisione Automatica con criteri multipli e Valutazioni Arbitrarie 3/6/03
Ontologia degli artefatti e dei servizi alle imprese I 2/27/03
(CoVer) Constraint-based Verification of Reactive systems 12/1/02
Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001) 1/1/01



Organization

Department facilities