Matteo Cristani

  1. Home
  2. Department
  3. People
  4. Matteo Cristani
Fotografia, September 2, 2021
Position
Associate Professor
Academic sector
IINF-05/A - Information Processing Systems
Research sector (ERC-2024)
PE6_7 - Artificial intelligence, intelligent systems, natural language processing

PE6_5 - Security, privacy, cryptology, quantum cryptography

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

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
+39 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: 109.
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 (2025/2026)   12  eLearning 4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
Master's degree in Artificial intelligence Knowledge Representation (2025/2026)   6  eLearning 6 
Master's degree in Artificial intelligence Natural Language Processing (2025/2026)   6  eLearning 4 
Scuola di Dottorato Scopus and Web of Science Data Bases (2025/2026)   1  eLearning 1 
Professional Master's programme in Computer game development Fundamentals of Artificial Intelligence (2025/2026)   2  eLearning 4 
Bachelor's degree in Bioinformatics Introduction to operating systems and networks (2024/2025)   12  eLearning 2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
Master's degree in Artificial intelligence Knowledge Representation (2024/2025)   6  eLearning 6 
Master's degree in Artificial intelligence Natural Language Processing (2024/2025)   6  eLearning 6 
Scuola di Dottorato Scopus data base and web of science (2024/2025)   1    1 
Professional Master's programme in Computer game development Fundamentals of Artificial Intelligence (2024/2025)   2  eLearning 4 
Bachelor's degree in Bioinformatics Introduction to operating systems and networks (2023/2024)   12  eLearning 2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
Master's degree in Artificial intelligence Knowledge Representation (2023/2024)   6  eLearning 6 
Master's degree in Artificial intelligence Natural Language Processing (2023/2024)   6  eLearning 6 
PhD in Computer Science Non monotonic reasoning (2023/2024)   3    3 
Scuola di Dottorato Scopus and Web of Science Data Bases (2023/2024)   1    1 
Bachelors' degree in Legal services for innovation Information Technology (2022/2023)   3  eLearning 3 
Bachelor's degree in Bioinformatics Introduction to operating systems and networks (2022/2023)   12  eLearning 4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
Master's degree in Computer Science and Engineering Knowledge representation (2022/2023)   6  eLearning 4 
Master's degree in Artificial intelligence Natural Language Processing (2022/2023)   6  eLearning 6 
PhD in Computer Science PhD Course (2022/2023)   50  eLearning 1 
Master's degree in Computer Science and Engineering Automated System Verification (2021/2022)   6  eLearning 6 
Master's degree in Computer Science and Engineering Knowledge representation (2021/2022)   6  eLearning 6 
Bachelor's degree in Computer Science Programming I [Matricole pari] (2021/2022)   12  eLearning 3  (Laboratorio)
Master's degree in Computer Science and Engineering Automated System Verification (2020/2021)   6  eLearning 6 
Bachelor's degree in Computer Science Programming I [Matricole pari] (2020/2021)   12  eLearning 2  (Laboratorio)
Master's degree in Computer Science and Engineering Semantic web (2020/2021)   6  eLearning 6 
Bachelor's degree in Computer Science Logic [Matricole pari] (2019/2020)   6  eLearning 6 
Master's degree in Computer Science and Engineering Semantic web (2019/2020)   6  eLearning 6 
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    1 
Bachelor's degree in Computer Science Logic [Matricole dispari] (2018/2019)   6  eLearning 6 
Master's degree in Computer Science and Engineering Semantic web (2018/2019)   6  eLearning 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    6 
Bachelor’s degree in Law Services Information Technology (2015/2016)   3    3 
Bachelor's degree in Computer Science Logic (2015/2016)   6    6 
Master's degree in Computer Science and Engineering Semantic web (2015/2016)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2015/2016)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Ecommerce IT technology (2014/2015)   6    6 
Bachelor’s degree in Law Services Information Technology (2014/2015)   3    3 
Master's degree in Computer Science and Engineering Semantic web (2014/2015)   6    6 
Master's degree in Languages for Communication in Tourism and Commerce Social media technologies (2014/2015)   6    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    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  (Laboratorio)
3  (Teoria)
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 
Professional Master's programme 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     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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. These area focuses on the interaction and integration of solution technques for several research topics such as automated planning and reasoning, reinforcement learning, statistical learning and reasoning in face of uncertainty. Artificial Intelligence
Distributed artificial intelligence
Intelligent agents Design and development of autonomous entities that can sense, model and interact with the environment in which they operate. These area focuses on the interaction and integration of solution technques for several research topics such as automated planning and reasoning, reinforcement learning, statistical learning and reasoning in face of uncertainty. Software Engineering and Formal Verification
Distributed artificial intelligence
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Cybersecurity
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Cybersecurity
Network security
NLP and LLM Technologies for undestanding and generating texts; specific text processing, in particular legal texts; generation of texts including artificial languages ones. Artificial Intelligence
Natural language processing
NLP and LLM Technologies for undestanding and generating texts; specific text processing, in particular legal texts; generation of texts including artificial languages ones. Software Engineering and Formal Verification
Natural language processing
Process control systems Process control systems Information Systems and Data Analytics
Information systems applications
Automated reasoning Decision procedures for satisfiability modulo theories and assignments; Automated theorem proving; Automated model building; Reasoning about programs; Interpolation of proofs for the generation of abstractions or explanations; Strategy analysis; Distributed automated deduction; Rewriting. Artificial Intelligence
Knowledge representation and reasoning
Automated reasoning Decision procedures for satisfiability modulo theories and assignments; Automated theorem proving; Automated model building; Reasoning about programs; Interpolation of proofs for the generation of abstractions or explanations; Strategy analysis; Distributed automated deduction; Rewriting. Software Engineering and Formal Verification
Knowledge representation and reasoning
Knowledge representation Reasoning with knowledge; non-monotonic reasoning; reasoning with spatio-temporal constraints; defeasible logic. Artificial Intelligence
Knowledge representation and reasoning
Knowledge representation Reasoning with knowledge; non-monotonic reasoning; reasoning with spatio-temporal constraints; defeasible logic. Software Engineering and Formal Verification
Knowledge representation and reasoning
Multi agent systems Design and development of multiagent systems, where intelligent agents can interact among them, with the environment and with humans. This area focuses on the interaction and integration of solution techniques related to multiagent planning, statistical learning, multi-agent reinforcement learning and game theory. Artificial Intelligence
Distributed artificial intelligence
Multi agent systems Design and development of multiagent systems, where intelligent agents can interact among them, with the environment and with humans. This area focuses on the interaction and integration of solution techniques related to multiagent planning, statistical learning, multi-agent reinforcement learning and game theory. Software Engineering and Formal Verification
Distributed artificial intelligence
Projects
Title Starting date
Securing Decentralized Finance and Remote Healthcare Systems - SHIELD 10/22/24
Contratto di assistenza tecnico scientifica per lo svolgimento di attività preparatorie e di accompagnamento e attività non formative del Piano relativo all’Avviso 6/2022 di Fondimpresa: titolo del Piano formativo “Innovazione di processo e modello di business”, codice Piano AV6/102/22 9/3/24
Contratto di assistenza tecnico scientifica per lo svolgimento di attività preparatorie e di accompagnamento e attività non formative del Piano realizzativo all’Avviso 6/2022 di Fondimpresa: titolo del Piano formativo “DOUBLE-E Digitalizzazione e innovazione dei processi”, codice Piano AV6/105/22 9/3/24
Contratto di assistenza tecnico scientifica per lo svolgimento di attività preparatorie e di accompagnamento e attività non formative del Piano realizzativo all’Avviso 6/2022 di Fondimpresa: titolo del Piano formativo “Process and product innovation”, codice Piano AV6/080A/22 9/3/24
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 5/21/24
Sviluppo di una piattaforma basata su Moodle per la gestione del Progetto PreDiSa, per la prevenzione dei disturbi dell’apprendimento 4/20/24
Sistemi di classificazione di testi brevi con LLM 11/23/23
Valorizzazione attività di ricerca 11/8/23
Smart Legal Order in DigiTal Society - SLOTS 9/28/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



Chair

Course Referent
Referent tutor for distance learning
Referent tutor for distance learning
Referent tutor for distance learning
Matteo Cristani
Office Collegial Body
Member Faculty Board of PhD in Computer Science - Department Computer Science
Member Computer Science Teaching Committee - Department Computer Science
Collegio Didattico di Linguistics - Department Cultures and Civilizations
Member Comitato Scientifico del Master in Computer game development - Department Computer Science
Member Commissione di Area ERASMUS - Department Biotechnology
Member Computer Science Department Council - Department Computer Science

Organization

Department facilities

Share