Research groups

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

K.Re.Art.I.

Matteo Cristani
Associate Professor (Department Computer Science)
Claudio Tomazzoli
Temporary Professor (Department Cultures and Civilizations)
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