Research interests
Topic |
Research area |
Intelligent agents |
Intelligenza Artificiale
Distributed artificial intelligence
|
Formal methods and theory of security |
Sicurezza informatica
Formal methods and theory of security
|
Network security |
Sicurezza informatica
Network security
|
NLP and LLM |
Intelligenza Artificiale
Natural language processing
|
Process control systems |
Sistemi informativi ed analisi dei dati
Information systems applications
|
Automated reasoning |
Intelligenza Artificiale
Knowledge representation and reasoning
|
Rappresentazione della conoscenza |
Intelligenza Artificiale
Artificial intelligence
|
Knowledge representation |
Intelligenza Artificiale
Knowledge representation and reasoning
|
Multi agent systems |
Intelligenza Artificiale
Distributed artificial intelligence
|