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 |
******** CSS e script comuni siti DOL - frase 9957 ********p>