Gruppi di ricerca-Dip.Informatica-Università degli Studi di Verona

K.Re.Art.I.

Competenze
Argomento	Area di ricerca
Agenti intelligenti	Intelligenza Artificiale Distributed artificial intelligence
Agenti intelligenti	Ingegneria del Software e Verifica Formale Distributed artificial intelligence
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Network security	Sicurezza informatica Network security
NLP e LLM	Intelligenza Artificiale Natural language processing
NLP e LLM	Ingegneria del Software e Verifica Formale Natural language processing
Process control systems	Sistemi informativi ed analisi dei dati Information systems applications
Ragionamento automatico	Intelligenza Artificiale Knowledge representation and reasoning
Ragionamento automatico	Ingegneria del Software e Verifica Formale Knowledge representation and reasoning
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Rappresentazione della conoscenza	Intelligenza Artificiale Knowledge representation and reasoning
Rappresentazione della conoscenza	Ingegneria del Software e Verifica Formale Knowledge representation and reasoning
Sistemi Multiagente	Intelligenza Artificiale Distributed artificial intelligence
Sistemi Multiagente	Ingegneria del Software e Verifica Formale Distributed artificial intelligence

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