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/

Riccardo Borsetto
Dottorando
Matteo Cristani
Professore associato
Giulio Fellin
Incaricato alla ricerca
Andrea Masini
Professore ordinario
Pietro Sala
Professore associato
Ihsen Yengui
Incaricato alla ricerca
Gabriele Buriola
Assegnista
Alessandra Di Pierro
Professore associato
Ruggero Ferro
Incaricato alla ricerca
Iosif Petrakis
Ricercatore a tempo determinato
Peter Michael Schuster
Professore ordinario
Margherita Zorzi
Professore associato
Componenti esterni
Giulio Fellin
Università degli Studi di Brescia
Argomento Area di ricerca
Agenti intelligenti Intelligenza Artificiale
Distributed artificial intelligence
Data mining temporale Sistemi informativi ed analisi dei dati
Data Mining
Decidibilità, Model Checking e Sintesi da Specifiche in Logiche Temporali a Intervalli 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
Il programma di Hilbert per la matematica astratta Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
Lambda Calculus Ingegneria del Software e Verifica Formale
Models of computation
Modelli Temporali basati su BPMN Sistemi informativi ed analisi dei dati
Data management systems
Network security Sicurezza informatica
Network security
NLP e LLM Intelligenza Artificiale
Natural language processing
Probabilistic Analysis of Security Sicurezza informatica
Formal methods and theory of security
Process control systems Sistemi informativi ed analisi dei dati
Information systems applications
Ragionamento automatico Intelligenza Artificiale
Knowledge representation and reasoning
Rappresentazione della conoscenza Intelligenza Artificiale
Knowledge representation and reasoning
Semantics of Probabilistic Languages Ingegneria del Software e Verifica Formale
Semantics and reasoning
Sistemi Multiagente Intelligenza Artificiale
Distributed artificial intelligence
Teoria dei tipi e teoria delle categorie Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
Teoria della dimostrazione e matematica costruttiva 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
Teoria delle dimostrazioni, logica lineare e teoria dei tipi Algebra, Geometria e Logica Matematica
General logic

Attività

Strutture

Condividi