Research groups

K.Re.Art.I.

Matteo Cristani: Associate Professor

Research interests
Topic	Research area
Intelligent agents	Intelligenza Artificiale 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
Process control systems	Sistemi informativi ed analisi dei dati Information systems applications
Automated reasoning	Intelligenza Artificiale Knowledge representation and reasoning
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Knowledge representation	Intelligenza Artificiale Knowledge representation and reasoning
Multi agent systems	Intelligenza Artificiale Distributed artificial intelligence

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