
Metodi formali
Persone
parole chiave:
Lambda-calcolo, Logica lineare, Teoria delle categorie, Teoria della dimostrazione
parole chiave:
Lambda calcolo, Linguaggi di programmazione quantistici, Semantica operazionale, Verifica di risorse
Maurizio Gabbrielli
Professore ordinario
parole chiave:
Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale
Saverio Giallorenzo
Ricercatore a tempo determinato tipo a) (junior)
parole chiave:
Linguaggi di Programmazione, Algebre di Processi, Tipi Sessione, Programmazione Coreografica, Microservizi,
Leggi di più
Roberto Gorrieri
Professore ordinario
parole chiave:
Modelli per la descrizione di sistemi concorrenti, Algebre di Processi e Reti di Petri, Sicurezza, Computazione
Leggi di più
parole chiave:
Semantica operazionale, Linguaggi reversibili
Ivan Lanese
Professore associato
parole chiave:
Sessioni multiparty, Linguaggi reversibili, Calcoli di processi, Computazioni orientate ai servizi
Cosimo Laneve
Professore ordinario
parole chiave:
linguaggi di programmazione, verifica statica di programmi, semantica dei linguaggi di programmazione, implementazione
Leggi di più
Simone Martini
Professore ordinario
parole chiave:
Linguaggi di programmazione, Storia e filosofia dell'informatica, Didattica dell'informatica, Logica lineare
Andrea Omicini
Professore ordinario
parole chiave:
simulazione, agenti intelligenti, linguaggi multiparadigma, sistemi autoorganizzanti, calcolo pervasivo, sistemi
Leggi di più
Claudio Sacerdoti Coen
Professore associato
parole chiave:
Teoria dei tipi, Dimostrazione assistita, Mathematical knowledge management, Lambda-calcolo, Linguaggi di
Leggi di più
Mirko Viroli
Professore ordinario
parole chiave:
Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,
Leggi di più