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.
Contact people
Peter Michael Schuster

URL
https://logicseminarverona.wordpress.com/

Maria Paola Bonacina
Full Professor
Giulio Fellin
PhD student
Andrea Masini
Full Professor
Peter Michael Schuster
Associate Professor
Franziskus Wolfgang Josef Wiesnet
PhD student
Margherita Zorzi
Temporary Assistant Professor
Matteo Cristani
Assistant Professor
Ruggero Ferro
Research Assistants
Pietro Sala
Temporary Assistant Professor
Daniel Wessel
Temporary Professor
Ihsen Yengui
Research Scholarship Holders
Topic Research area
Intelligent Agents Sistemi intelligenti
Artificial intelligence
Computability Informatica teorica
Models of computation
Formal methods and theory of security Ingegneria del Software e Sicurezza
Formal methods and theory of security
General logic Matematica discreta e computazionale
Mathematical logic and foundations
Hilbert's Programme for Abstract Mathematics Matematica discreta e computazionale
Mathematical logic and foundations
Lambda Calculus Informatica teorica
Logic
Lambda Calculus Informatica teorica
Models of computation
modal and temporal logics Informatica teorica
Logic
Models for spatio-temporal granularities Sistemi informativi
Data management systems
Temporal Workflow Models Sistemi informativi
Data management systems
Network security Ingegneria del Software e Sicurezza
Network security
Philosophical aspects of logic and foundations Matematica discreta e computazionale
Mathematical logic and foundations
proof theory, Linear logic, Type theory Informatica teorica
Logic
Quantum computation theory Informatica teorica
Models of computation
Automated Reasoning Sistemi intelligenti
Artificial intelligence
Rappresentazione della conoscenza Sistemi intelligenti
Artificial intelligence
Semantics of Probabilistic Languages Informatica teorica
Semantics and reasoning
Multiagent Systems Sistemi intelligenti
Artificial intelligence
Proof theory and constructive mathematics Matematica discreta e computazionale
Mathematical logic and foundations
Teoria della dimostrazione e teoria dei tipi Informatica teorica
Formal languages and automata theory
Software Verification Informatica teorica
Logic
Workflow Systems in Medicine Sistemi informativi
Information systems applications

Activities

Research facilities