Research groups

K.Re.Art.I.

Matteo Cristani
Assistant Professor
Claudio Tomazzoli
Temporary Professor
Topic Research area ISI-CRUI
Intelligent Agents Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
AI, Robotics & Automatic Control
Formal methods and theory of security Ingegneria del software e sicurezza
Security and privacy  -  Formal methods and theory of security
Computer Science & Engineering
Network security Ingegneria del software e sicurezza
Security and privacy  -  Network security
Computer Science & Engineering
Automated Reasoning Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
Computer Science & Engineering
Rappresentazione della conoscenza Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
AI, Robotics & Automatic Control
Multiagent Systems Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
AI, Robotics & Automatic Control
Title Managers Sponsors Starting date Duration (months)
Security Horizons Luca Vigano' MIUR Feb 1, 2013 36

Activities

Research facilities