Research groups

  1. Home
  2. Research
  3. Research groups
  4. K.Re.Art.I.

K.Re.Art.I.

Matteo Cristani
Assistant Professor
Claudio Tomazzoli
Temporary Professor (Department Law)
Topic Research area
Intelligent Agents 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
Automated Reasoning Sistemi intelligenti
Artificial intelligence
Rappresentazione della conoscenza Sistemi intelligenti
Artificial intelligence
Multiagent Systems Sistemi intelligenti
Artificial intelligence
Title Managers Sponsors Starting date Duration (months)
Security Horizons Luca Vigano' MIUR Feb 1, 2013 36

Activities

Research facilities