Research groups

  1. Home
  2. Research
  3. Research groups
  4. Logica

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/

Maria Paola Bonacina
Full Professor
Alessandra Di Pierro
Associate Professor
Ruggero Ferro
Research Assistants
Pietro Sala
Associate Professor
Ihsen Yengui
Research Assistants
Matteo Cristani
Associate Professor
Giulio Fellin
Research Assistants
Andrea Masini
Full Professor
Peter Michael Schuster
Full Professor
Margherita Zorzi
Associate Professor
Topic Research area
Intelligent Agents Bioinformatica e informatica medica
Artificial intelligence
Intelligent Agents 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
Hilbert's Programme for Abstract Mathematics 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
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
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
Automated Reasoning Bioinformatica e informatica medica
Artificial intelligence
Automated Reasoning 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
Multiagent Systems Bioinformatica e informatica medica
Artificial intelligence
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 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
Software Verification Algebra, Geometria e Logica Matematica
Logic
Software Verification Algoritmi, Logica e teoria della computazione
Logic
Software Verification Ingegneria del Software e verifica formale
Logic
Workflow Systems in Medicine Sistemi informativi ed analisi dei dati
Information systems applications

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share