Matteo Cristani

Fotografia,  September 2, 2021
Position
Associate Professor
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
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 58
Telephone
045 802 7983
E-mail
matteo|cristani*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Tuesday, Hours 10:30 AM - 12:30 PM,   Ca' Vignal 2, Floor 1, room 88

Il ricevimento è regolarmente svolto il martedì dalle 10.30 alle 12.30. È possibile prenotare un colloquio anche in altri orari, anche su Zoom, inviando una mail al docente. 

Curriculum

Modules

Modules running in the period selected: 101.
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 Bioinformatics Introduction to operating systems and networks (2023/2024)   12  eLearning ELEMENTI DI SISTEMI OPERATIVI (Teoria)
ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
Master's degree in Artificial intelligence Knowledge Representation (2023/2024)   6  eLearning
Master's degree in Artificial intelligence Natural Language Processing (2023/2024)   6  eLearning
PhD in Computer Science Non monotonic reasoning (2023/2024)   3   
Scuola di Dottorato Scopus and Web of Science Data Bases (2023/2024)   1   
Bachelors' degree in Legal services for innovation Information Technology (2022/2023)   3  eLearning
Bachelor's degree in Bioinformatics Introduction to operating systems and networks (2022/2023)   12  eLearning ELEMENTI DI SISTEMI OPERATIVI (Teoria)
ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
Master's degree in Computer Science and Engineering Knowledge representation (2022/2023)   6  eLearning
PhD in Computer Science Lezioni Dottorandi (2022/2023)   50  eLearning
Master's degree in Artificial intelligence Natural Language Processing (2022/2023)   6  eLearning
Master's degree in Computer Science and Engineering Automated System Verification (2021/2022)   6  eLearning
Master's degree in Computer Science and Engineering Knowledge representation (2021/2022)   6  eLearning
PhD in Computer Science Non monotonic reasoning (2021/2022)   3  eLearning
Bachelor's degree in Computer Science Programming I [Matricole pari] (2021/2022)   12  eLearning (Laboratorio)
Master's degree in Computer Science and Engineering Automated System Verification (2020/2021)   6  eLearning
PhD in Computer Science Non monotonic reasoning (2020/2021)   3  eLearning
Bachelor's degree in Computer Science Programming I [Matricole pari] (2020/2021)   12  eLearning (Laboratorio)
Master's degree in Computer Science and Engineering Semantic web (2020/2021)   6  eLearning
PhD in European and International Law Academic writing in latex and academic presentation (2020/2021)   2.5  eLearning 0.5 
PhD in Computer Science Lezioni Dottorandi (2019/2020)   50  eLearning
Bachelor's degree in Computer Science Logic [Matricole pari] (2019/2020)   6  eLearning
Master's degree in Computer Science and Engineering Semantic web (2019/2020)   6  eLearning
Bachelor's degree in Bioinformatics The course provides an introduction to blockchain technology. It focuses on the technology behind Bitcoin, Ethereum, Tendermint and Hotmoka. (2019/2020)   2   
Bachelor's degree in Computer Science Logic [Matricole dispari] (2018/2019)   6  eLearning
Master's degree in Computer Science and Engineering Semantic web (2018/2019)   6  eLearning
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2017/2018)   6  eLearning
Master's degree in Computer Science and Engineering Semantic web (2017/2018)   6  eLearning
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2017/2018)   6  eLearning
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Semantic web (2016/2017)   6  eLearning
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2016/2017)   6  eLearning
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2015/2016)   6   
Bachelor’s degree in Law Services Information Technology (2015/2016)   3   
Bachelor's degree in Computer Science Logic (2015/2016)   6   
Master's degree in Computer Science and Engineering Semantic web (2015/2016)   6   
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2015/2016)   6   
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2014/2015)   6   
Bachelor’s degree in Law Services Information Technology (2014/2015)   3   
Master's degree in Computer Science and Engineering Semantic web (2014/2015)   6   
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2014/2015)   6   
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2013/2014)   6   
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2013/2014)   6   
Bachelor’s degree in Law Services Information Technology (2013/2014)   3   
Master's degree in Computer Science and Engineering Semantic web (2013/2014)   6   
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2013/2014)   6   
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2012/2013)   6   
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2012/2013)   6   
Bachelor’s degree in Law Services Information Technology (2012/2013)   3   
Master's degree in Computer Science and Engineering Semantic web (2012/2013)   6   
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2012/2013)   6   
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2011/2012)   6   
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2011/2012)   6   
Combined Bachelor's + Master's degree in Law Information Technology (2011/2012)   3   
Master's degree in Computer Science and Engineering Semantic web (2011/2012)   6   
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2011/2012)   6   
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2010/2011)   6   
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2010/2011)   6   
Combined Bachelor's + Master's degree in Law Information Technology (2010/2011)   3   
Bachelor's degree in Computer Science Programming I (2010/2011)   12    (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Semantic web (2010/2011)   6   
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2010/2011)   6   
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2009/2010)   6   
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Ecommerce IT technology (2009/2010)   6   
Degree in the Science of legal services for employment Information Technology (2009/2010)   5   
Bachelor's degree in Bioinformatics Introduction to Programming (2009/2010)   12    PROGRAMMAZIONE PER BIOINFORMATICA
Master's degree in Computer Science and Engineering Semantic web (2009/2010)   6   
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Social media technologies (2009/2010)   6   
Professional Master's programme in Computer game development Fundamentals of Artificial Intelligence (2009/2010)   4   
Bachelor's degree in Languages and Cultures for Publishing Digital Humanities (2008/2009)   6   
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Ecommerce IT technology (2008/2009)   6   
Masters in Computer Science Expert Systems (2008/2009)   5   
Degree in the Science of legal services for employment Information Technology (2008/2009)   5   
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Social media technologies (2008/2009)   6   
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Ecommerce IT technology (2007/2008)   6   
Masters in Computer Science Expert Systems (2007/2008)   5   
Combined Bachelor's + Master's degree in Law Information Technology (2007/2008)   5   
Master's degree in Languages for commercial communication and the promotion of international tourism (until 2008-2009) Social media technologies (2007/2008)   6   
Masters in Intelligent and Multimedia Systems Artificial Intelligence (2006/2007)   5   
Masters in Computer Science Expert Systems (2006/2007)   5   
Combined Bachelor's + Master's degree in Law Information Technology (2006/2007)   5   
Masters in Computer Science Expert Systems (2005/2006)   5   
Degree in Law Introduction to Computing [Studenti 1° anno] (2005/2006)   5   
Degree in Law Introduction to Computing [Studenti 2° anno] (2005/2006)   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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 

Research groups

Artificial Intelligence (AI)
The group conducts research in Artificial Intelligence, including Automated Reasoning, Search Algorithms, Knowledge Representation, Machine Learning, Multi-Agent Systems, and their applications.
K.Re.Art.I.
Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
Logica
Logica in matematica ed informatica.
Research interests
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. Machine Intelligence
Artificial intelligence
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Software Engineering and Security
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Software Engineering and Security
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 Machine Intelligence
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. Machine Intelligence
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. Machine Intelligence
Artificial intelligence
Projects
Title Starting date
Sistemi di classificazione di testi brevi con LLM 11/23/23
Valorizzazione attività di ricerca 11/8/23
Software as an asset 7/6/23
Sviluppo di un motore semantico per l’analisi di descrizioni brevi di prodotti negli ordinativi 6/8/22
Analisi generale del sistema informativo aziendale 12/20/21
Sviluppo di un'innovativa piattaforma digitale per lo sviluppo di nuovi servizi 2/15/21
Previsioni di vendita promozionale. Predizione ordinanti e correzione predizione 1/13/21
Sviluppo di un sistema basato su ontologie per la gestione su web di opportunità di finanza agevolata (FINAG) 10/26/20
Sales Prediction - sistema di predizione delle vendite per le campagne promozionali di alcune famiglie di prodotti su canali distributivi propri clienti 1/20/20
SIDI - Sistemi innovativi documentali per l’industria 4/1/19
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

Share