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/

Maria Paola Bonacina
Professore ordinario
Alessandra Di Pierro
Professore associato
Ruggero Ferro
Incaricato alla ricerca
Pietro Sala
Professore associato
Ihsen Yengui
Incaricato alla ricerca
Matteo Cristani
Professore associato
Giulio Fellin
Incaricato alla ricerca
Andrea Masini
Professore ordinario
Peter Michael Schuster
Professore ordinario
Margherita Zorzi
Professore associato
Argomento Area di ricerca
Agenti intelligenti Bioinformatica e informatica medica
Artificial intelligence
Agenti intelligenti 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
Il programma di Hilbert per la matematica astratta 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
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
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
Ragionamento automatico Bioinformatica e informatica medica
Artificial intelligence
Ragionamento automatico 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
Sistemi Multiagente Bioinformatica e informatica medica
Artificial intelligence
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 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
Verifica del software Algebra, Geometria e Logica Matematica
Logic
Verifica del software Algoritmi, Logica e teoria della computazione
Logic
Verifica del software Ingegneria del Software e verifica formale
Logic
Workflow per la sanità Sistemi informativi ed analisi dei dati
Information systems applications

Attività

Strutture

Condividi