Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. K.Re.Art.I.

K.Re.Art.I.

Matteo Cristani
Professore associato
Claudio Tomazzoli
Ricercatore a tempo determinato
Argomento Area di ricerca
Agenti intelligenti Sistemi intelligenti
Artificial intelligence
Formal methods and theory of security Ingegneria del Software e Sicurezza
Formal methods and theory of security
Network security Ingegneria del Software e Sicurezza
Network security
Ragionamento automatico Sistemi intelligenti
Artificial intelligence
Rappresentazione della conoscenza Sistemi intelligenti
Artificial intelligence
Sistemi Multiagente Sistemi intelligenti
Artificial intelligence
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Security Horizons Luca Vigano' MIUR 01/02/2013 36

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi