Research groups

K.Re.Art.I.

Matteo Cristani: Associate Professor

Claudio Tomazzoli: Temporary Assistant Professor

Research interests
Topic	Research area
Intelligent Agents	Intelligenza Artificiale Artificial intelligence
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Network security	Sicurezza informatica Network security
Process control systems	Sistemi informativi ed analisi dei dati Information systems applications
Automated Reasoning	Intelligenza Artificiale Artificial intelligence
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Multiagent Systems	Intelligenza Artificiale Artificial intelligence

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