Gruppi di ricerca

K.Re.Art.I.

Matteo Cristani: Professore associato

Claudio Tomazzoli: Ricercatore a tempo determinato

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