Gruppi di ricerca

K.Re.Art.I.

Matteo Cristani
Professore associato
Claudio Tomazzoli
Ricercatore a tempo determinato
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
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Security Horizons Luca Vigano' MIUR 01/02/2013 36

Attività

Strutture

Condividi