Research groups

K.Re.Art.I.

Matteo Cristani: Associate Professor

Claudio Tomazzoli: Temporary Assistant Professor

Research interests
Topic	Research area
Intelligent Agents	Bioinformatica e informatica medica Artificial intelligence
Intelligent Agents	Intelligenza Artificiale Artificial intelligence
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Formal methods and theory of security	Ingegneria del Software e verifica formale Formal methods and theory of security
Network security	Sicurezza informatica Network security
Network security	Ingegneria del Software e verifica formale Network security
Process control systems	Sistemi informativi ed analisi dei dati Information systems applications
Automated Reasoning	Bioinformatica e informatica medica Artificial intelligence
Automated Reasoning	Intelligenza Artificiale Artificial intelligence
Rappresentazione della conoscenza	Bioinformatica e informatica medica Artificial intelligence
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Multiagent Systems	Bioinformatica e informatica medica 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