Gruppi di ricerca

K.Re.Art.I.

Matteo Cristani: Professore associato

Claudio Tomazzoli: Ricercatore a tempo determinato

Competenze
Argomento	Area di ricerca
Agenti intelligenti	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
Ragionamento automatico	Intelligenza Artificiale Artificial intelligence
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Sistemi Multiagente	Intelligenza Artificiale Artificial intelligence

Progetti
Titolo	Responsabili	Fonte finanziamento	Data inizio	Durata (mesi)
Security Horizons	Luca Vigano'	MIUR	01/02/2013	36