Competenze
| Argomento |
Area di ricerca |
| Agenti intelligenti |
Intelligenza Artificiale
Distributed artificial intelligence
|
| Computazione quantistica: modelli, semantica e analisi dei programmi, metodi per il machine learning |
Algoritmi, Logica e teoria della computazione
Theory of computing
|
| Data mining temporale |
Sistemi informativi ed analisi dei dati
Data Mining
|
| Decidibilità, Model Checking e Sintesi da Specifiche in Logiche Temporali a Intervalli |
Algoritmi, Logica e teoria della computazione
Computer science
|
| Formal methods and theory of security |
Sicurezza informatica
Formal methods and theory of security
|
| General logic |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
|
| Il programma di Hilbert per la matematica astratta |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
|
| Lambda Calculus |
Ingegneria del Software e Verifica Formale
Models of computation
|
| Modelli Temporali basati su BPMN |
Sistemi informativi ed analisi dei dati
Data management systems
|
| Network security |
Sicurezza informatica
Network security
|
| NLP e LLM |
Intelligenza Artificiale
Natural language processing
|
| Process control systems |
Sistemi informativi ed analisi dei dati
Information systems applications
|
| Ragionamento automatico |
Intelligenza Artificiale
Knowledge representation and reasoning
|
| Rappresentazione della conoscenza |
Intelligenza Artificiale
Knowledge representation and reasoning
|
| Semantics of Probabilistic Languages |
Ingegneria del Software e Verifica Formale
Semantics and reasoning
|
| Sistemi Multiagente |
Intelligenza Artificiale
Distributed artificial intelligence
|
| Teoria dei tipi e teoria delle categorie |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
|
| Teoria della dimostrazione e matematica costruttiva |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
|
| Teoria della dimostrazione e teoria dei tipi |
Ingegneria del Software e Verifica Formale
Formal languages and automata theory
|
| Teoria delle dimostrazioni, logica lineare e teoria dei tipi |
Algebra, Geometria e Logica Matematica
General logic
|
