Research interests
Topic |
Research area |
Intelligent Agents |
Sistemi intelligenti
Artificial intelligence
|
Algorithms for Bioinformatics |
Bioinformatica e informatica medica
Life and medical sciences
|
Bioinformatics and Natural Computing |
Bioinformatica e informatica medica
Life and medical sciences
|
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
|
Decision Tree Optimization |
Sistemi intelligenti
Machine learning
|
Automated Reasoning |
Sistemi intelligenti
Artificial intelligence
|
Rappresentazione della conoscenza |
Sistemi intelligenti
Artificial intelligence
|
AI, Robotics & Automatic Control |
Sistemi ciberfisici
Embedded and cyber-physical systems
|
Multiagent Systems |
Sistemi intelligenti
Artificial intelligence
|
Pattern Recognition |
Sistemi intelligenti
Machine learning
|
Software Verification |
Informatica teorica
Logic
|