Gruppi di ricerca

Logica

Logica è lo studio dell'interazione tra sintassi (linguaggi e calcoli formali) e semantica (interpretazioni e modelli) com'è fondamentale sia per la matematica astratta sia per l'informatica teorica.

Logic is the study of syntax (formal languages and calculi) and semantics (structures and models) in their interaction, as it is fundamental both for abstract mathematics and for theoretical computer science.

URL
https://www.logicverona.it/

Matteo Cristani
Professore associato
Giulio Fellin
Incaricato alla ricerca
Andrea Masini
Professore ordinario
Peter Michael Schuster
Professore ordinario
Margherita Zorzi
Professore associato
Alessandra Di Pierro
Professore associato
Ruggero Ferro
Incaricato alla ricerca
Pietro Sala
Professore associato
Ihsen Yengui
Incaricato alla ricerca
Componenti esterni
Giulio Fellin
Università degli Studi di Brescia
Argomento Area di ricerca
Agenti intelligenti Intelligenza Artificiale
Artificial intelligence
Computability Ingegneria del Software e verifica formale
Models of computation
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
Logic
Lambda Calculus Ingegneria del Software e verifica formale
Models of computation
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
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
Process control systems Sistemi informativi ed analisi dei dati
Information systems applications
proof theory, Linear logic, Type theory Algebra, Geometria e Logica Matematica
General logic
Quantitative Static Analysis Ingegneria del Software e verifica formale
Software organization and properties
Quantum computation theory Ingegneria del Software e verifica formale
Models of computation
Ragionamento automatico Intelligenza Artificiale
Artificial intelligence
Rappresentazione della conoscenza Intelligenza Artificiale
Artificial intelligence
Semantics of Probabilistic Languages Ingegneria del Software e verifica formale
Semantics and reasoning
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 Ingegneria del Software e verifica formale
Formal languages and automata theory
Topological Quantum Computation Ingegneria del Software e verifica formale
Models of computation
Workflow per la sanità Sistemi informativi ed analisi dei dati
Information systems applications

Attività

Strutture

Condividi