Competenze
| Argomento |
Area di ricerca |
| Agenti intelligenti |
Bioinformatica e informatica medica
Artificial intelligence
|
| Agenti intelligenti |
Intelligenza Artificiale
Artificial intelligence
|
| Computability |
Algebra, Geometria e Logica Matematica
Models of computation
|
| Computability |
Algoritmi, Logica e teoria della computazione
Models of computation
|
| Computability |
Ingegneria del Software e verifica formale
Models of computation
|
| Formal methods and theory of security |
Sicurezza informatica
Formal methods and theory of security
|
| Formal methods and theory of security |
Ingegneria del Software e verifica formale
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 |
Algebra, Geometria e Logica Matematica
Logic
|
| Lambda Calculus |
Algoritmi, Logica e teoria della computazione
Logic
|
| Lambda Calculus |
Ingegneria del Software e verifica formale
Logic
|
| Lambda Calculus |
Algebra, Geometria e Logica Matematica
Models of computation
|
| Lambda Calculus |
Algoritmi, Logica e teoria della computazione
Models of computation
|
| Lambda Calculus |
Ingegneria del Software e verifica formale
Models of computation
|
| modal and temporal logics |
Algebra, Geometria e Logica Matematica
Logic
|
| modal and temporal logics |
Algoritmi, Logica e teoria della computazione
Logic
|
| modal and temporal logics |
Ingegneria del Software e verifica formale
Logic
|
| Modelli per granularità temporali |
Sistemi informativi ed analisi dei dati
Data management systems
|
| Modelli Temporali basati su Workflow |
Sistemi informativi ed analisi dei dati
Data management systems
|
| Network security |
Sicurezza informatica
Network security
|
| Network security |
Ingegneria del Software e verifica formale
Network security
|
| Philosophical aspects of logic and foundations |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
|
| Probabilistic Analysis of Security |
Sicurezza informatica
Formal methods and theory of security
|
| Probabilistic Analysis of Security |
Ingegneria del Software e verifica formale
Formal methods and theory of security
|
| Process control systems |
Sistemi informativi ed analisi dei dati
Information systems applications
|
| proof theory, Linear logic, Type theory |
Algebra, Geometria e Logica Matematica
Logic
|
| proof theory, Linear logic, Type theory |
Algoritmi, Logica e teoria della computazione
Logic
|
| proof theory, Linear logic, Type theory |
Ingegneria del Software e verifica formale
Logic
|
| Quantitative Static Analysis |
Sicurezza informatica
Software organization and properties
|
| Quantitative Static Analysis |
Ingegneria del Software e verifica formale
Software organization and properties
|
| Quantum computation theory |
Algebra, Geometria e Logica Matematica
Models of computation
|
| Quantum computation theory |
Algoritmi, Logica e teoria della computazione
Models of computation
|
| Quantum computation theory |
Ingegneria del Software e verifica formale
Models of computation
|
| Ragionamento automatico |
Bioinformatica e informatica medica
Artificial intelligence
|
| Ragionamento automatico |
Intelligenza Artificiale
Artificial intelligence
|
| Rappresentazione della conoscenza |
Bioinformatica e informatica medica
Artificial intelligence
|
| Rappresentazione della conoscenza |
Intelligenza Artificiale
Artificial intelligence
|
| Semantics of Probabilistic Languages |
Algebra, Geometria e Logica Matematica
Semantics and reasoning
|
| Semantics of Probabilistic Languages |
Algoritmi, Logica e teoria della computazione
Semantics and reasoning
|
| Semantics of Probabilistic Languages |
Ingegneria del Software e verifica formale
Semantics and reasoning
|
| Sistemi Multiagente |
Bioinformatica e informatica medica
Artificial intelligence
|
| Sistemi Multiagente |
Intelligenza Artificiale
Artificial intelligence
|
| Teoria della dimostrazione e matematica costruttiva |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
|
| Teoria della dimostrazione e teoria dei tipi |
Algebra, Geometria e Logica Matematica
Formal languages and automata theory
|
| Teoria della dimostrazione e teoria dei tipi |
Algoritmi, Logica e teoria della computazione
Formal languages and automata theory
|
| Teoria della dimostrazione e teoria dei tipi |
Ingegneria del Software e verifica formale
Formal languages and automata theory
|
| Topological Quantum Computation |
Algebra, Geometria e Logica Matematica
Models of computation
|
| Topological Quantum Computation |
Algoritmi, Logica e teoria della computazione
Models of computation
|
| Topological Quantum Computation |
Ingegneria del Software e verifica formale
Models of computation
|
| Verifica del software |
Algebra, Geometria e Logica Matematica
Logic
|
| Verifica del software |
Algoritmi, Logica e teoria della computazione
Logic
|
| Verifica del software |
Ingegneria del Software e verifica formale
Logic
|
| Workflow per la sanità |
Sistemi informativi ed analisi dei dati
Information systems applications
|
