Research groups

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
Associate Professor
Giulio Fellin
Research Assistants
Andrea Masini
Full Professor
Peter Michael Schuster
Full Professor
Margherita Zorzi
Associate Professor
Alessandra Di Pierro
Associate Professor
Ruggero Ferro
Research Assistants
Pietro Sala
Associate Professor
Ihsen Yengui
Research Assistants
External components
Giulio Fellin
Università degli Studi di Brescia
Topic Research area
Intelligent Agents 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
Hilbert's Programme for Abstract Mathematics 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
Models for temporal granularities and their application to real contexts Sistemi informativi ed analisi dei dati
Data management systems
Temporal Workflow Models 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
Automated Reasoning Intelligenza Artificiale
Artificial intelligence
Rappresentazione della conoscenza Intelligenza Artificiale
Artificial intelligence
Semantics of Probabilistic Languages Ingegneria del Software e verifica formale
Semantics and reasoning
Multiagent Systems Intelligenza Artificiale
Artificial intelligence
Proof theory and constructive mathematics 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 Systems in Medicine Sistemi informativi ed analisi dei dati
Information systems applications

Activities

Research facilities

Share