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 |
Via Carlo Montanari, 9
37122 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2023 | Verona University | Credits