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 |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2023 | Verona University | Credits