Matteo Cristani-Dip.Informatica-Università degli Studi di Verona

Matteo Cristani

  1. Home
  2. Dipartimento
  3. Persone
  4. Matteo Cristani
Fotografia, 2 settembre 2021
Qualifica
Professore associato
Settore disciplinare
IINF-05/A - Sistemi di elaborazione delle informazioni
Settore di Ricerca (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

Settore di Ricerca (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

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 58
Telefono
+39 045 802 7983
E-mail
matteo|cristani*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

martedì, Ore 10.30 - 12.30,   Ca' Vignal 2, piano 1, stanza 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

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 109.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Scuola di Dottorato BASI DI DATI SCOPUS E WEB OF SCIENCE (2025/2026)   1  eLearning 1 
Laurea in Bioinformatica [L-31] Elementi di sistemi operativi e reti (2025/2026)   12  eLearning 4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
Master in Computer game development Fundamentals of Artificial Intelligence (2025/2026)   2  eLearning 4 
Laurea magistrale in Artificial Intelligence Knowledge Representation (2025/2026)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence Natural Language Processing (2025/2026)   6  eLearning 4 
Scuola di Dottorato BASI DI DATI SCOPUS E WEB OF SCIENCE (2024/2025)   1    1 
Laurea in Bioinformatica [L-31] Elementi di sistemi operativi e reti (2024/2025)   12  eLearning 2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
Master in Computer game development Fundamentals of Artificial Intelligence (2024/2025)   2  eLearning 4 
Laurea magistrale in Artificial Intelligence [LM-18] Knowledge Representation (2024/2025)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence [LM-18] Natural Language Processing (2024/2025)   6  eLearning 6 
Scuola di Dottorato BASI DI DATI SCOPUS E WEB OF SCIENCE (2023/2024)   1    1 
Laurea in Bioinformatica [L-31] Elementi di sistemi operativi e reti (2023/2024)   12  eLearning 2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
Laurea magistrale in Artificial Intelligence [LM-18] Knowledge Representation (2023/2024)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence [LM-18] Natural Language Processing (2023/2024)   6  eLearning 6 
Dottorato in Informatica Non monotonic reasoning (2023/2024)   3    3 
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning 1 
Laurea in Bioinformatica [L-31] Elementi di sistemi operativi e reti (2022/2023)   12  eLearning 4  ELEMENTI DI SISTEMI OPERATIVI (Teoria)
2  ELEMENTI DI SISTEMI OPERATIVI (Laboratorio)
Laurea in Servizi giuridici per imprese, amministrazioni e no-profit [L-14] Informatica (2022/2023)   3  eLearning 3 
Laurea magistrale in Artificial Intelligence [LM-18] Natural Language Processing (2022/2023)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Rappresentazione della conoscenza (2022/2023)   6  eLearning 4 
Laurea in Informatica [L-31] Programmazione I [Matricole pari] (2021/2022)   12  eLearning 3  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Rappresentazione della conoscenza (2021/2022)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Verifica automatica di sistemi (2021/2022)   6  eLearning 6 
Laurea in Informatica [L-31] Programmazione I [Matricole pari] (2020/2021)   12  eLearning 2  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Verifica automatica di sistemi (2020/2021)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2020/2021)   6  eLearning 6 
Laurea in Informatica [L-31] Logica [Matricole pari] (2019/2020)   6  eLearning 6 
Laurea in Bioinformatica [L-31] Minicorso Blockchain (2019/2020)   2    1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2019/2020)   6  eLearning 6 
Laurea in Informatica [L-31] Logica [Matricole dispari] (2018/2019)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2018/2019)   6  eLearning 6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2017/2018)   6  eLearning 6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2017/2018)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2017/2018)   6  eLearning 6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2016/2017)   6  eLearning 6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2016/2017)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2016/2017)   6  eLearning 6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2015/2016)   6    6 
Laurea in Scienze dei servizi giuridici Informatica (2015/2016)   3    3 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2015/2016)   6    6 
Laurea in Informatica [L-31] Logica (2015/2016)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2015/2016)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2014/2015)   6    6 
Laurea in Scienze dei servizi giuridici Informatica (2014/2015)   3    3 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2014/2015)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2014/2015)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2013/2014)   6    6 
Laurea in Scienze dei servizi giuridici Informatica (2013/2014)   3    3 
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2013/2014)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2013/2014)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2012/2013)   6    6 
Laurea in Scienze dei servizi giuridici Informatica (2012/2013)   3    3 
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2012/2013)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2012/2013)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2011/2012)   6    6 
Laurea magistrale a ciclo unico in Giurisprudenza [LMG/01] Informatica (2011/2012)   3    3 
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2011/2012)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2011/2012)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Comunicazione on line, reti e virtualità (2010/2011)   6    6 
Laurea magistrale a ciclo unico in Giurisprudenza [LMG/01] Informatica (2010/2011)   3    3 
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2010/2011)   6    6 
Laurea magistrale in Lingue per la comunicazione turistica e commerciale [LM-38] Informatica per il commercio elettronico (2010/2011)   6    6 
Laurea in Informatica [L-31] Programmazione I (2010/2011)   12    3  (Teoria)
3  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2010/2011)   6    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    6 
Master in Computer game development Fundamentals of Artificial Intelligence (2009/2010)   4    4 
Laurea in Scienze dei servizi giuridici per il lavoro (ordinamento fino all'a.a. 2008/09) Informatica (2009/2010)   5    5 
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2009/2010)   6    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    6 
Laurea in Bioinformatica [L-31] Programmazione (2009/2010)   12    6  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Web semantico (2009/2010)   6    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    6 
Laurea in Scienze dei servizi giuridici per il lavoro (ordinamento fino all'a.a. 2008/09) Informatica (2008/2009)   5    5 
Laurea in Lingue e culture per l'editoria Informatica per gli studi umanistici (2008/2009)   6    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    6 
Laurea specialistica in Informatica Sistemi esperti (2008/2009)   5    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    6 
Laurea magistrale a ciclo unico in Giurisprudenza [LMG/01] Informatica (2007/2008)   5    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    6 
Laurea specialistica in Informatica Sistemi esperti (2007/2008)   5    5 
Laurea magistrale a ciclo unico in Giurisprudenza [LMG/01] Informatica (2006/2007)   5    5 
Laurea specialistica in Sistemi intelligenti e multimediali Intelligenza artificiale (2006/2007)   5    5 
Laurea specialistica in Informatica Sistemi esperti (2006/2007)   5    5 
Laurea in Scienze giuridiche Informatica di base [Studenti 1° anno] (2005/2006)   5    5 
Laurea in Scienze giuridiche Informatica di base [Studenti 2° anno] (2005/2006)   5    5 
Laurea specialistica in Informatica Sistemi esperti (2005/2006)   5    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     

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.

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.
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. Intelligenza Artificiale
Distributed artificial intelligence
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. Ingegneria del Software e Verifica Formale
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 Sicurezza informatica
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Sicurezza informatica
Network security
NLP e LLM Tecnologie per la comprensione e la generazione di testi; elaborazione specifica di testi, in particolare testi giuridici; generazione di testi, inclusi quelli in linguaggi artificiali. Intelligenza Artificiale
Natural language processing
NLP e LLM Tecnologie per la comprensione e la generazione di testi; elaborazione specifica di testi, in particolare testi giuridici; generazione di testi, inclusi quelli in linguaggi artificiali. Ingegneria del Software e Verifica Formale
Natural language processing
Process control systems Process control systems Sistemi informativi ed analisi dei dati
Information systems applications
Ragionamento automatico Procedure di decisione per la soddisfacibilità modulo teorie e assegnamenti; Dimostrazione automatica di teoremi; Costruzione automatica di modelli; Ragionamento sui programmi; Interpolazione di prove per generazione di astrazioni o spiegazioni; Analisi di strategie; Deduzione automatica distribuita; Riscrittura. Intelligenza Artificiale
Knowledge representation and reasoning
Ragionamento automatico Procedure di decisione per la soddisfacibilità modulo teorie e assegnamenti; Dimostrazione automatica di teoremi; Costruzione automatica di modelli; Ragionamento sui programmi; Interpolazione di prove per generazione di astrazioni o spiegazioni; Analisi di strategie; Deduzione automatica distribuita; Riscrittura. Ingegneria del Software e Verifica Formale
Knowledge representation and reasoning
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. Intelligenza Artificiale
Knowledge representation and reasoning
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. Ingegneria del Software e Verifica Formale
Knowledge representation and reasoning
Sistemi Multiagente L'area di ricerca dei sistemi multiagente si occupa di progettare e sviluppare sistemi in cui agenti intelligenti interagiscono tra loro, con l'ambiente e con persone. Questa area di ricerca si folalizza sull'interazione ed integrazione di tecniche di soluzione relative a pianificazione per sistemi multi-agente, apprendimento statistico, apprendimento per rinforzo in sistemi multi-agente e teoria dei giochi. Intelligenza Artificiale
Distributed 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, con l'ambiente e con persone. Questa area di ricerca si folalizza sull'interazione ed integrazione di tecniche di soluzione relative a pianificazione per sistemi multi-agente, apprendimento statistico, apprendimento per rinforzo in sistemi multi-agente e teoria dei giochi. Ingegneria del Software e Verifica Formale
Distributed artificial intelligence
Progetti
Titolo Data inizio
Securing Decentralized Finance and Remote Healthcare Systems - SHIELD 22/10/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 03/09/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 03/09/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 03/09/24
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 21/05/24
Sviluppo di una piattaforma basata su Moodle per la gestione del Progetto PreDiSa, per la prevenzione dei disturbi dell’apprendimento 20/04/24
Sistemi di classificazione di testi brevi con LLM 23/11/23
Valorizzazione attività di ricerca 08/11/23
PRIN 2022 - Smart Legal Order in DigiTal Society - SLOTS 28/09/23
Software as an asset 06/07/23
Sviluppo di un motore semantico per l’analisi di descrizioni brevi di prodotti negli ordinativi 08/06/22
Analisi generale del sistema informativo aziendale 20/12/21
Sviluppo di un'innovativa piattaforma digitale per lo sviluppo di nuovi servizi 15/02/21
Previsioni di vendita promozionale. Predizione ordinanti e correzione predizione 13/01/21
Sviluppo di un sistema basato su ontologie per la gestione su web di opportunità di finanza agevolata (FINAG) 26/10/20
Sales Prediction - sistema di predizione delle vendite per le campagne promozionali di alcune famiglie di prodotti su canali distributivi propri clienti 20/01/20
SIDI - Sistemi innovativi documentali per l’industria 01/04/19
Piano formativo "Hospitality 4.0" Cod. AVI/007/16 id. 174808 Fondimpresa Avviso n. 272016 Macroarea A 17/02/17
Semantica documentale avanzata (ADOSEM) 15/07/16
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



Presidente

Referente del Corso
Tutor referente per la didattica a distanza
Tutor referente per la didattica a distanza
Tutor referente per la didattica a distanza
Matteo Cristani
Carica Organo collegiale
Componente Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica
Componente Collegio Didattico di Informatica - Dipartimento Informatica
Collegio Didattico di Linguistics - Dipartimento Culture e Civiltà
Componente Comitato Scientifico del Master in Computer game development - Dipartimento Informatica
Componente Commissione di Area ERASMUS - Dipartimento Biotecnologie
Componente Consiglio del Dipartimento di Informatica - Dipartimento Informatica

Organizzazione

Strutture del dipartimento

Condividi