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

URL
https://logicseminarverona.wordpress.com/

Ingo Blechschmidt
Assegnista
Matteo Cristani
Ricercatore
Ruggero Ferro
Incaricato alla ricerca
Pietro Sala
Ricercatore a tempo determinato
Daniel Wessel
Professore a contratto
Ihsen Yengui
Assegnista
Maria Paola Bonacina
Professore ordinario
Giulio Fellin
Dottorando
Andrea Masini
Professore ordinario
Peter Michael Schuster
Professore associato
Franziskus Wolfgang Josef Wiesnet
Dottorando
Margherita Zorzi
Ricercatore a tempo determinato
Argomento Area di ricerca
Agenti intelligenti 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
Il programma di Hilbert per la matematica astratta 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
Modelli per granularità spazio-temporali Sistemi informativi
Data management systems
Modelli Temporali basati su Workflow 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
Ragionamento automatico Sistemi intelligenti
Artificial intelligence
Rappresentazione della conoscenza Sistemi intelligenti
Artificial intelligence
Semantics of Probabilistic Languages Informatica teorica
Semantics and reasoning
Sistemi Multiagente Sistemi intelligenti
Artificial intelligence
Teoria della dimostrazione e matematica costruttiva Matematica discreta e computazionale
Mathematical logic and foundations
Teoria della dimostrazione e teoria dei tipi Informatica teorica
Formal languages and automata theory
Verifica del software Informatica teorica
Logic
Workflow per la sanità Sistemi informativi
Information systems applications

Attività

Strutture