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/

Riccardo Borsetto
PhD student (Department Computer Science)
Matteo Cristani
Associate Professor (Department Computer Science)
Giulio Fellin
Research Scholarship Holders (Department Computer Science)
Iosif Petrakis
Temporary Assistant Professor (Department Computer Science)
Peter Michael Schuster
Full Professor (Department Computer Science)
Margherita Zorzi
Associate Professor (Department Computer Science)
Gabriele Buriola
Research Assistants (Department Computer Science)
Alessandra Di Pierro
Associate Professor (Department Computer Science)
Andrea Masini
Full Professor (Department Computer Science)
Pietro Sala
Associate Professor (Department Computer Science)
Ihsen Yengui
Research Assistants (Department Computer Science)
External components
Giulio Fellin
Università degli Studi di Brescia
Topic Research area
Intelligent agents Intelligenza Artificiale Distributed artificial intelligence
Computazione quantistica: modelli, semantica e analisi dei programmi, metodi per il machine learning Algoritmi, Logica e teoria della computazione Theory of computing
Temporal data mining Sistemi informativi ed analisi dei dati Data Mining
Decidability, Model Checking and Synthesis from Interval Temporal Logic Specifications Algoritmi, Logica e teoria della computazione Computer science
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 Models of computation
Temporal BPMN Models Sistemi informativi ed analisi dei dati Data management systems
Network security Sicurezza informatica Network security
NLP and LLM Intelligenza Artificiale Natural language processing
Process control systems Sistemi informativi ed analisi dei dati Information systems applications
Automated reasoning Intelligenza Artificiale Knowledge representation and reasoning
Knowledge representation Intelligenza Artificiale Knowledge representation and reasoning
Semantics of Probabilistic Languages Ingegneria del Software e Verifica Formale Semantics and reasoning
Multi agent systems Intelligenza Artificiale Distributed artificial intelligence
Type Theory and Category Theory Algebra, Geometria e Logica Matematica Mathematical logic and foundations
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
Proof theory, Linear logic, Type theory Algebra, Geometria e Logica Matematica General logic

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share