Gruppi di ricerca

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

K.Re.Art.I.

Matteo Cristani
Ricercatore (Dipartimento Informatica)
Claudio Tomazzoli
Professore a contratto
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