Research groups

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

K.Re.Art.I.

Matteo Cristani
Associate Professor
Claudio Tomazzoli
Temporary Assistant Professor
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 areas

Research groups

PhD Programmes

Research facilities

Share