Research groups

K.Re.Art.I.

Matteo Cristani: Associate Professor

Claudio Tomazzoli: Temporary Professor (Department Cultures and Civilizations)

Research interests
Topic	Research area
Intelligent Agents	Sistemi intelligenti Artificial intelligence
Formal methods and theory of security	Ingegneria del Software e Sicurezza Formal methods and theory of security
Network security	Ingegneria del Software e Sicurezza Network security
Automated Reasoning	Sistemi intelligenti Artificial intelligence
Rappresentazione della conoscenza	Sistemi intelligenti Artificial intelligence
Multiagent Systems	Sistemi intelligenti Artificial intelligence

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