Research groups

K.Re.Art.I.

Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale

Matteo Cristani: Associate Professor (Department Computer Science)

Research interests
Topic	Research area
Intelligent agents	Intelligenza Artificiale Distributed artificial intelligence
Intelligent agents	Ingegneria del Software e Verifica Formale Distributed artificial intelligence
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Network security	Sicurezza informatica Network security
NLP and LLM	Intelligenza Artificiale Natural language processing
NLP and LLM	Ingegneria del Software e Verifica Formale Natural language processing
Process control systems	Sistemi informativi ed analisi dei dati Information systems applications
Automated reasoning	Intelligenza Artificiale Knowledge representation and reasoning
Automated reasoning	Ingegneria del Software e Verifica Formale Knowledge representation and reasoning
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Knowledge representation	Intelligenza Artificiale Knowledge representation and reasoning
Knowledge representation	Ingegneria del Software e Verifica Formale Knowledge representation and reasoning
Multi agent systems	Intelligenza Artificiale Distributed artificial intelligence
Multi agent systems	Ingegneria del Software e Verifica Formale Distributed artificial intelligence

Projects
Title	Managers	Sponsors	Starting date	Duration (months)
Security Horizons	Luca Vigano'	MIUR	Feb 1, 2013	36